substitution in arith literals