let combine old_m new_m = let new_m = merge old_m new_m in let m_to_prop = if equal old_m new_m then bottom else new_m in (new_m, m_to_prop)