let after_marks_modifications ff to_prop =
SlicingParameters.debug ~level:2 "[Fct_Slice.after_marks_modifications] before: %a"
FctMarks.debug_marked_ff ff;
let new_filters = [] in
let calls = M.get_calls_to_ff ff in
let new_filters = add_missing_inputs_actions ff calls to_prop new_filters in
let call_outputs = FctMarks.marks_for_call_outputs to_prop in
let new_filters = (Act.mk_crit_examines_calls ff call_outputs)::new_filters in
SlicingParameters.debug ~level:2 "[Fct_Slice.after_marks_modifications] after: %s new filters"
(match new_filters with
| [] -> "no"
| _ -> "some");
new_filters