let
find u a =
try
Map
.find a u
with
Not_found
->
Set
.empty