let get_top_input_mark fi =
  try
    let key = PdgIndex.Key.top_input in
    FctMarks.get_fi_node_mark fi key
  with PdgIndex.NotFound ->  Marks.bottom_mark