Added unreachable catch inspection