Member predicate ArraySizing::CheckableArrayAccess::canThrowOutOfBounds

Holds if we believe this indexing expression can throw an ArrayIndexOutOfBoundsException.

predicate canThrowOutOfBounds(Expr index)