This inspection checks that binary and unary expressions have operands with correct types