let
diseqs s x =
try
Term
.
Map
.find x s
with
Not_found
->
Set
.empty