let add_fct_src_filter proj fi to_select =
match to_select with
(* T.CuSelect [] : don't ignore empty selection because
the input control node has to be selected anyway... *)
| T.CuSelect select ->
let filter = SlicingActions.mk_crit_fct_user_select fi select in
add_filter proj filter
| T.CuTop m ->
let filter = SlicingActions.mk_crit_fct_top fi m in
add_filter proj filter