10251026102710281029103010311032
ComparisonAtom comparisonAtom; jj_consume_token(NOT); jj_consume_token(LPAR); comparisonAtom = comparisonAtom(); jj_consume_token(RPAR); {if (true) return new NotAtom(comparisonAtom);} throw new Error("Missing return statement in function"); }
127112721273127412751276127712781279
jj_consume_token(LPAR); comparisonAtom = comparisonAtom(); jj_consume_token(RPAR); { if (true) return new NotAtom(comparisonAtom); } throw new Error("Missing return statement in function"); }