let pretty_node short =
  if short then PdgTypes.Node.pretty
  else PdgTypes.Pdg.pretty_node