You missed the point.
Those two representations are equivalent, yes. But that's not what flattening loops mean.
You are telling me what my point was?
You are telling me what my point was?