changes to symoblic rewriter