
if (!Boolean.valueOf(_forall)) {</BUG>
sneakyThrowRuleFailedException("exp.args.forall[isValue(it)]");
}
<BUG>return Boolean.valueOf(_forall);
}</BUG>
protected MethodBody replaceThisAndParamsImpl(final RuleApplicationTrace _trace_, final MethodBody body, final Expression thisReplacement, final List<Parameter> params, final List<Expression> args) throws RuleFailedException {
try {
RuleApplicationTrace _subtrace_ = newTrace(_trace_);
MethodBody _result_ = applyAuxFunReplaceThisAndParams(_subtrace_, body, thisReplacement, params, args);

} catch (Throwable _e) {
throw Exceptions.sneakyThrow(_e);
}
}
};
if (!Boolean.valueOf(IterableExtensions.<Expression>forall(_args, _function))) {
sneakyThrowRuleFailedException("exp.args.forall[isValue(it)]");
}
return Boolean.valueOf(IterableExtensions.<Expression>forall(_args, _function));
}
protected MethodBody replaceThisAndParamsImpl(final RuleApplicationTrace _trace_, final MethodBody body, final Expression thisReplacement, final List<Parameter> params, final List<Expression> args) throws RuleFailedException {
try {
RuleApplicationTrace _subtrace_ = newTrace(_trace_);
MethodBody _result_ = applyAuxFunReplaceThisAndParams(_subtrace_, body, thisReplacement, params, args);
