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