Detects unreachable code.