let merge_inputs_m1_mark ff =
  let ff_sig =
    match FctMarks.get_sgn ff with Some s -> s
    | None -> M.bug "Should have a signature !"
  in Marks.merge_inputs_m1_mark ff_sig