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