1Regression test for the code sinking optimization, which used
2to incorrectly use catch phis.
3