How to build a Control Flow Graph (CFG) from a JSON object (AST)...