Find unreachable catch blocks, and make them seem reachable to the compiler. Also some refactoring (but not much).