let pretty_node ?(key=false) fmt n = 
  PdgTypes.Node.pretty fmt n;
    if key then 
      Format.fprintf fmt ": %a" PdgIndex.Key.pretty (PdgTypes.Node.elem_key n)