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