let apply_add_marks ff nodes_marks =
SlicingParameters.debug ~level:3 "[Fct_Slice.apply_add_marks]@\n-BEFORE:@\n%a" FctMarks.debug_marked_ff ff;
(*let pdg = M.get_ff_pdg ff in*)
let to_prop = add_marks (FctMarks.get_ff_marks ff) nodes_marks in
let new_filters = after_marks_modifications ff to_prop in
new_filters