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