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