Analyzer
coroutines
ApplyCoroutine
Node
AstCanonicalization
coroutines
above
Zipper
addSuccessorsToNodeFront
Node
all
SubCfg
alldecls
Chain
allnodes
Cfg
ExtractSubgraphContext
ancestors
Chain
append
Zipper
apply
Table
_0
_1
_2
_3
_1$spec$C
_1$spec$D
_1$spec$F
_1$spec$I
_1$spec$J
_1$spec$L
_1$spec$S
_2$spec$DD
_2$spec$DI
_2$spec$DJ
_2$spec$DL
_2$spec$ID
_2$spec$II
_2$spec$IJ
_2$spec$IL
_2$spec$JD
_2$spec$JI
_2$spec$JJ
_2$spec$JL
_2$spec$LD
_2$spec$LI
_2$spec$LJ
_2$spec$LL
~>
~~>
~~~>
args
Table
ApplyCoroutine
ascend
Zipper
assignments
BlockInfo