Detects unreachable code