let
mem kf s =
try
let
set =
Tbl
.find kf
in
Stmt
.
Set
.mem s set
with
Not_found
->
false