let get_node_key_mark ff k =
  try FctMarks.get_node_mark ff k
  with PdgIndex.NotFound ->  Marks.bottom_mark