Introduce gimple_catch