Make SuReal works with hypergraph rewriting post-processing
Merge pull request #975 from williampma/SuRealImprovement

Make SuReal works with hypergraph rewriting R2L post-processing