ExtractSubgraphContext

CfgGenerator

elseSuccessor

If

emit

Node ApplyCoroutine CodeBlock CodeBlockEnd If IfEnd Statement TryBlock TryBlockEnd While WhileEnd YieldTo YieldVal SubCfg

emitCode

Node

endSuccessor

TryBlock While

enduid

If TryBlock

equals

Chain

exitPoints

ExtractSubgraphContext

exitSubgraphs

SubCfg

extract

Node ApplyCoroutine CodeBlock CodeBlockEnd Decl DefaultStatement If IfEnd TryBlock TryBlockEnd While WhileEnd YieldTo YieldVal

extractSubgraphs

CfgGenerator