Predicate MissingDotLengthInComparison::contradictoryAccess

Holds for a comparison and index expression with the same operands, such as base < index and base[index].

Such expressions make contradictory assumptions about the types of base and index.

predicate contradictoryAccess(RelationalComparison compare, IndexExpr lookup)