MethodInvocation invoke = (MethodInvocation) EclipseTACSimpleTestDriver.getLastStatementReturn(m).getExpression();
TACInstruction instr = tac.instruction(invoke);
Assert.assertTrue(instr != null);
Assert.assertTrue(instr instanceof MethodCallInstruction);
MethodCallInstruction call = (MethodCallInstruction) instr;
Assert.assertNull(((ThisVariable) tac.implicitThisVariable(m.resolveBinding())).getQualifier());
Assert.assertEquals(tac.implicitThisVariable(m.resolveBinding()), call.getReceiverOperand());
EclipseTACSimpleTestDriver.assertOperands(invoke.arguments(), call.getArgOperands(), tac);
Assert.assertTrue(call.getArgOperands().get(0) instanceof SourceVariable);
Assert.assertEquals(
tac.sourceVariable(((SingleVariableDeclaration) m.parameters().get(0)).resolveBinding()),