Predicate LoopBoundInjection::hasCrashingArrayAccess

Holds if there exists an array access indexed by the variable var where it is likely that the array access will cause a crash if var grows unbounded.