builder.addRestFormals(declType.getFormalType(formalIndex));
}
for (String outer : fn.getOuterVars()) {
println("Free var ", outer, " going in summary");
builder.addOuterVarPrecondition(
outer, getTypeAfterFwd(outer, entryEnv, exitEnv));
}
builder.addNominalType(declType.getNominalType());
builder.addReceiverType(declType.getReceiverType());