Add variable counter to Expr Rewriter