ADDED: library(sandbox): unify_with_occurs_check/2.