Predicate LengthComparisonOffByOne::getLengthLEGuard

Gets a condition that checks that index is less than or equal to array.length.

ConditionGuardNode getLengthLEGuard(Variable index, Variable array)