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