In type-directed search, handle an additional possible case when processing unification results.