assert_rewriter
