Predicate LengthComparisonOffByOne::getLengthNEGuard

Gets a condition that checks that index is not equal to array.length.

ConditionGuardNode getLengthNEGuard(Variable index, Variable array)