Regression test on double-typed catch phi