@SuppressWarnings("unused")
@Override
final public SimpleNode parseFocFormula() throws ParseException {
/*@bgen(jjtree) AtConCat */
ASTAtConCat jjtn000 = new ASTAtConCat(this, JJTATCONCAT);
boolean jjtc000 = true;
jjtree.openNodeScope(jjtn000);
try {
token_source.SwitchTo(FOCONIS);
label_3: while (true) {