\=/2
=/2
unifiy_with_occurs_check/2

Up read on...