Expose Rewriter in GRAPHICAL_THEORY