Predicate LengthComparisonOffByOne::elementRead

Holds if ea is a read from array[index] in basic block bb.

predicate elementRead(IndexExpr ea, Variable array, Variable index, BasicBlock bb)