Most basic handling of method invocations that determines the value that is
put onto the operand stack/returned by a method call based on the called method's
This implementation completely ignores exceptions and/or errors thrown by the method.
(Linkage related exceptions are currently generally ignored.)
By ignoring potentially thrown exceptions it may be the case that not all
possible paths in a program are explored and that the overall analysis may not be