Predicate LengthComparisonOffByOne::arrayLen

Gets an access to array.length.

PropAccess arrayLen(Variable array)