I'm not clear that jumping backwards is that tough to reason with. Notably, Knuth's algorithms do that quite commonly, right?
replyI do think they need to be somewhat constrained to not jump to places that need new things initialized. Which, it is truly mind blowing to know folks used to just jump straight into other functions. Mid function. Because why not.
jumping backward creates all the non-linear issues I assume
replyFair that it can create some. But just allowing of nested loops already creates some of these. And, I know folks have tried to disallow loops, but that feels extreme.
replyAgain, I would point to many of Knuth's descriptions as already allowing jumps forward and backward in steps as evidence that they can be useful.