let rec combined_marks cm =
    let add_m m (_, m2) = M.merge m m2 in
    Signature.fold add_m M.bottom cm