missing exceptional edges in CFG for for-each loops

For a for-each loop like:

List<String> list = ...;
for (String s: list) {
  ...
}

The CFG includes the relevant calls to iterator(), hasNext() and next() for the loop. But, the corresponding MethodInvocationNodes for these calls appear inside RegularBlocks rather than ExceptionBlocks. Hence, the possibility of any of these calls throwing an exception is not accounted for. This could lead to checker unsoundness, though I do not immediately have an example of that.

Start by locating the CFG construction for enhanced for-each loops and inspect how MethodInvocationNodes for iterator(), hasNext(), and next() are placed in RegularBlocks versus ExceptionBlocks. Verify the behavior with a representative Java for-each example. Done means the CFG accounts for exceptions from these calls and the relevant behavior is covered by tests, if an existing CFG test location can be found.