Add code to show running the rewriter