[kqr]

I don't understand why we want to use some language feature like loops, instead of using conditional gotos explicitly.

Sure, we can do the same thing with the goto... but why would we want to use the more difficult/annoying alternative when the convenient one exists?

[agnishom]

I disagree. When I see a loop, I know that there is a loop. But now, with Junctions, I have to assume that every variable I see could potentially be a nondeterministic choice between many values? Does that make writing (or reading) programs easier?