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