let raise_if_visible () (_, m) =
    if M.is_bottom m then () else raise Visible