added arith rewriter