Make SuReal works with hypergraph rewriting R2L post-processing

Added a helper function that prune away reference to both "deleted atoms" and "rewritten atoms".
I guess paritally/fully-abstracted versions could be dealt with later.