let add_fct_ff_filter proj ff to_select =
  match to_select with
      | T.CuSelect [] -> 
          SlicingParameters.debug ~level:1 "[SlicingProject.add_fct_ff_filter] (ignored empty selection)"
      | T.CuSelect select -> 
          let filter = SlicingActions.mk_ff_user_select ff select in
            add_filter proj filter 
      | T.CuTop _ -> assert false