let graph_refinement_opt     = ref PostPre