Refactor DynamicAnalyzer::Rewriter