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