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