Control flow feels like one of the more trivial parts of automated refactoring, because that's straightforward AST modifications? No. The AST part is wrong. Co

Control flow feels like one of the more trivial parts of automated refactoring, because that's straightforward AST modifications? No. The AST part is wrong. Compilers do decompose code into basic blocks. Even the most spaghettified code decomposes into basic blocks. Any language with tail call optimization can handle the basic blocks rewritten as functions. That won't get you to "clean" however.