let
deq s a =
try
Term
.
Map
.find a s
with
Not_found
->
Term
.
Set
.empty