1Tests simplification of catch blocks in the presence of trivially dead code 2that was not verified by the verifier. 3