REQUIRES RESET: Use the second-phase rewriter on Do-Its as well; cache the second-phase rewriter.