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 PdgIndex.NotFound -> false