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