[wrsh07]

To me, if it detects bugs (and fixing those makes the others reachable), that seems like a pretty acceptable iterative step

It's less academically pure, but as an engineer who wants to fix bugs it seems ok