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