List<Statement> stmts = m.getBody().statements();
Assert.assertTrue(stmts.size() == 5);
TACInstruction decl, init;
for(int i = 0; i < 4; i++) {
VariableDeclarationStatement s = (VariableDeclarationStatement) stmts.get(i);
Assert.assertTrue("Statement: " + s, s.fragments().size() == 1);
VariableDeclaration d = (VariableDeclaration) s.fragments().get(0);
decl = tac.instruction(d);
Assert.assertNotNull("Statement: " + s, decl);
Assert.assertNotNull("Statement: " + s, d.getInitializer());
if(d.getInitializer() instanceof ParenthesizedExpression)
init = tac.instruction(((ParenthesizedExpression) d.getInitializer()).getExpression());