> That ensures a function can't run forever if it's already clear it can't finish without a conflict.

That just makes them bail out quicker, it doesn't help them ever succeed.