let is_topin_visible cm =
    try
      let m = get_in_top_mark cm in
        if M.is_bottom m then false else true
    with Not_found -> false