let is_topin_visible cm =
    try
      let m = get_in_top_mark cm in 
        if M.is_bottom m then false else true
    with PdgIndex.NotFound -> false