Predicate OffsetUseBeforeRangeCheck::beforeArrayAccess

predicate beforeArrayAccess(Variable v, ArrayExpr access, Expr before)