let is_visible_top_input fi =
    let m = get_fi_node_mark fi (PdgIndex.Key.top_input) in
      not (Marks.is_bottom_mark m)