Debugged the function of unification postponement.