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