{if (true) return B;}
throw new Error("Missing return statement in function");
}
final public Object body_formula() throws ParseException {
BodyType formType = BodyType.action; Object B;
switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
case 32:
case 33:
case 34:
case 35: