Code

analyzer: Check types of comparison operands.