Make SuReal works with hypergraph rewriting R2L post-processing

Added a helper function that prune away reference to both "deleted atoms" and "rewritten atoms".