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