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)