Calculates a meaningful upper bound for the number of instruction evaluation that should suffice for evaluating the code.
Calculates a meaningful upper bound for the number of instruction evaluation that should suffice for evaluating the code. However, this is only a heuristics which may fail for methods with a certain (hidden) complexity.
Defines common helper methods.