let ctrl_visible cm = try let ctrl_m = get_in_ctrl_mark cm in if M.is_bottom ctrl_m then false else true with Not_found -> false