Added semantic checking to validate put_arithmetic.488