You still have your loops in CFG, identifying back edges and extracting loop induction variables is mechanical. And you can lower any amount of debugging inform

You still have your loops in CFG, identifying back edges and extracting loop induction variables is mechanical. And you can lower any amount of debugging information out of your high level AST structures. No need to stay in AST to have it all.