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