add examples of arith-expr