Make SuReal works with hypergraph rewriting R2L post-processing

Added a helper function that prune away reference to both "deleted atoms" and "rewritten atoms".
Because post-processing could modify an existing link by wrapping it within another link.