method invocation is eliminated wherever it was possible