let print_marked_ff fmt ff =
  Format.fprintf fmt "Print slice = %a@." Fct_slice.print_ff_sig ff;
  let pdg = M.get_ff_pdg ff in print_fct_from_pdg fmt pdg ?ff:(Some ff)