Stating my opininon

[kristoffer.carlsson]

@tobias.knopp

If one can avoid while loops and recursion it should be possible showing that a given function halts.

A for loop is lowered to a while loop and as I said, any C for loop can be written as a julia for loop with a suitable iterator.

I think a concrete example would solidify your point.