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