Can you provide the location in the article where it talks about this? The closest that I can find is "Converting to SSA", where it only mentions the use of phi in non-looping scenarios.