}
//END inline expansion
//START inline expansion of $cut(a(6))
a6 = a6.dereference();
if (! a6.isInteger()) {
throw new IllegalTypeException("integer", a6);
} else {
engine.cut(((IntegerTerm) a6).intValue());
}
//END inline expansion
return new PRED_illarg_3(s1, a5, si2, cont);