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