Implemented the function for postponement of unifications.