builder.addOptFormal(formalType);
}
formalIndex++;
}
if (declType.hasRestFormals()) {
builder.addRestFormals(declType.getFormalType(formalIndex));
}
for (String outer : fn.getOuterVars()) {
println("Free var ", outer, " going in summary");
builder.addOuterVarPrecondition(