1Tests that we don't inline a callee with 2 Return -> TryBoundary ->Exit 3chain if the caller has irreducible loops. 4