let add kf s = 
    ignore
      (Tbl.memo
         ~change:(fun set -> Cilutil.StmtSet.add s set) 
         (fun _ -> Cilutil.StmtSet.singleton s) 
         kf)