added spec for nested arithmetic expression evaluation