let pretty_node fmt n =
    Format.fprintf fmt "[Elem] %d : %a" (elem_id n)
      PdgIndex.Key.pretty (elem_key n)