[kalaka]

It looks complicated.

Here is my technique.

Trace the control flow and regenerate the flow on target programming language.

In their's they have abstracted problem such as blocks and operation. But adding more condition to the philosophy is hard thing. The core principle needs simple

[almostgotcaught]

> Trace the control flow and regenerate the flow on target programming language.

that's not a model of the code that's just a trace...

[techbro92]

In general it’s impossible to trace the flow of an entire program due to the halting problem. Also most programs have a lot of branches and this would lead to an explosion of possible paths through the code to trace.

[imvetri]

Read the code in reverse