let get_selection_after_slicing () =
let add s = Project.Selection.add s Kind.Do_Not_Select_Dependencies in
(add Analysis.self $ add Lattice.self $ add PropagateAssertions.self
$ add LogicAnnotation.self)
(* [JS 2009/04/17] prefix [Debug] by [P] below to prevent wrong
computation of circular dependencies by ocamldep *)
(Project.Selection.singleton P.Debug.self Kind.Do_Not_Select_Dependencies)