use LR engine instead of GLR in arith example