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