for(int n=params.size(), i=0; i<n; i++) {
Expr tmp = args.get(i);
if (!(tmp instanceof Macro)) tmp = tmp.resolve(tmp.type(), warnings);
cx2.put(params.get(i).label, tmp);
}
return cx2.check(body);
}
/** {@inheritDoc} */
@Override public void toString(StringBuilder out, int indent) {
if (indent<0) {