Predicate OffsetUseBeforeRangeCheck::afterArrayAccess

predicate afterArrayAccess(Variable v, ArrayExpr access, Expr after)