Modified set-type-actuals to set the mappings to nil in the call to
generate-assuming-tccs