> All existing loops have logic to not proceed until those tests all pass.

My understanding is that this tool is mostly about “giving up” sooner, when it’s obvious that additional loops are not getting any closer to passing those tests.

It’s a cost saving measure when the problem is intractable, and needs more human context, etc.