let
occurs s x =
mem s x
||
not (
Term
.
Set
.is_empty (use s x))