Code

analyzer: Verify the type of arithmetic operands.