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 nondeterm

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?