;
jj_consume_token(CONSTRUCT);
conclusions(C);
jj_consume_token(WHERE);
premises(P);
{if (true) return YAST.ruleBody( P.cook(), C.cook() );}
throw new Error("Missing return statement in function");
}
final public void premises(RawTerms raw) throws ParseException {
switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {