No need to check LHS for unique usage

Any duplication will be enforced by unification, and won't lead to
sharing itself (does suggest the function will be hard to apply in
interesting contexts though...)