fix position of TVar in unification post processor (closes #3668)