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