MethodInvocation pushStates = ast.newMethodInvocation();
String recordType = getClassName(FieldRecord.class, state, root);
pushStates.setExpression(createName(ast, recordType));
pushStates.setName(ast.newSimpleName("pushState"));
pushStates.arguments().add(ast.newSimpleName(RECORDS_NAME));
testNewCheckpointBody.statements().add(
ast.newExpressionStatement(pushStates));
thenBranch.statements().add(testNewCheckpoint);
// Assign the new checkpoint.
Assignment assignment = ast.newAssignment();