let merge_inputs_m1_mark cm = Signature.fold_all_inputs (fun acc (_, m) -> M.merge_user_marks acc m) M.bottom cm