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