let graph_refinement_names = [
    Rel,     "rel" ;
    PostPre"post-pre"
  ]