Path preservation fix for chases that end in an unbound type variable