Predicate HeterogeneousComparison::comparisonOperands

Holds if left and right are the left and right operands, respectively, of nd, which is a comparison.

Besides the usual comparison operators, switch statements are also considered to be comparisons, with the switched-on expression being the right operand and all case labels the left operands.

predicate comparisonOperands(ASTNode nd, Expr left, Expr right)