jj_consume_token(LPAR);
expressionAtom1 = expressionAtom();
jj_consume_token(COMMA);
expressionAtom2 = expressionAtom();
jj_consume_token(RPAR);
{if (true) return new DifferentAtom(expressionAtom1, expressionAtom2);}
throw new Error("Missing return statement in function");
}