sig   val make_new_ff :     SlicingInternals.fct_info ->     bool -> SlicingInternals.fct_slice * SlicingInternals.criterion list   val merge_slices :     SlicingInternals.fct_slice ->     SlicingInternals.fct_slice ->     SlicingInternals.fct_slice * SlicingInternals.criterion list   val copy_slice : SlicingInternals.fct_slice -> SlicingInternals.fct_slice   val filter_already_in :     SlicingInternals.fct_slice ->     SlicingInternals.fct_base_criterion ->     SlicingInternals.fct_base_criterion   val apply_add_marks :     SlicingInternals.fct_slice ->     SlicingInternals.fct_base_criterion -> SlicingInternals.criterion list   val add_marks_to_fi :     SlicingInternals.project ->     SlicingInternals.fct_info ->     SlicingInternals.fct_base_criterion ->     bool ->     SlicingInternals.criterion list -> bool * SlicingInternals.criterion list   val add_top_mark_to_fi :     SlicingInternals.fct_info ->     SlicingInternals.pdg_mark ->     bool ->     SlicingInternals.criterion list -> SlicingInternals.criterion list   val check_outputs_before_change_call :     SlicingInternals.project ->     SlicingInternals.fct_slice ->     Cil_types.stmt ->     SlicingInternals.fct_slice -> SlicingInternals.criterion list   val apply_change_call :     SlicingInternals.project ->     SlicingInternals.fct_slice ->     Cil_types.stmt ->     SlicingInternals.called_fct -> SlicingInternals.criterion list   val apply_choose_call :     SlicingInternals.project ->     SlicingInternals.fct_slice ->     Cil_types.stmt -> SlicingInternals.criterion list   val apply_missing_inputs :     SlicingInternals.project ->     SlicingInternals.fct_slice ->     Cil_types.stmt ->     SlicingInternals.fct_base_criterion * bool ->     SlicingInternals.criterion list   val apply_missing_outputs :     SlicingInternals.project ->     SlicingInternals.fct_slice ->     Cil_types.stmt ->     SlicingInternals.fct_base_criterion ->     bool -> SlicingInternals.criterion list   val apply_examine_calls :     SlicingInternals.fct_slice ->     SlicingInternals.pdg_mark PdgMarks.info_called_outputs ->     SlicingInternals.criterion list   val get_called_slice :     SlicingInternals.fct_slice ->     Cil_types.stmt -> SlicingInternals.fct_slice option * bool   val get_node_mark :     SlicingInternals.fct_slice ->     PdgTypes.Node.t -> SlicingInternals.pdg_mark   val get_node_key_mark :     SlicingInternals.fct_slice -> PdgIndex.Key.t -> SlicingInternals.pdg_mark   val get_top_input_mark :     SlicingInternals.fct_info -> SlicingInternals.pdg_mark   val get_stmt_mark :     SlicingInternals.fct_slice -> Cil_types.stmt -> SlicingInternals.pdg_mark   val get_label_mark :     SlicingInternals.fct_slice ->     Cil_types.stmt -> Cil_types.label -> SlicingInternals.pdg_mark   val get_param_mark :     SlicingInternals.fct_slice -> int -> SlicingInternals.pdg_mark   val get_local_var_mark :     SlicingInternals.fct_slice ->     Cil_types.varinfo -> SlicingInternals.pdg_mark   val get_input_loc_under_mark :     SlicingInternals.fct_slice ->     Locations.Zone.t -> SlicingInternals.pdg_mark   val get_mark_from_src_fun :     SlicingInternals.project ->     Kernel_function.t -> SlicingInternals.pdg_mark   val merge_inputs_m1_mark :     SlicingInternals.fct_slice -> SlicingInternals.pdg_mark   val clear_ff :     SlicingInternals.project -> SlicingInternals.fct_slice -> unit   val print_ff_sig : Format.formatter -> SlicingInternals.fct_slice -> unit end