}
//END inline expansion
//START inline expansion of $cut(a(4))
a4 = a4.dereference();
if (! a4.isInteger()) {
throw new IllegalTypeException("integer", a4);
} else {
engine.cut(((IntegerTerm) a4).intValue());
}
//END inline expansion
return new PRED_$dummy_13_builtins$002Epl_4(a2, a3, a1, new VariableTerm(engine), cont);