1Tests that there is a case in which we have a
2  Return->TryBoundary kind:exit->Exit
3chain inside of a loop, and that said TryBoundary has loop information.
4