Parameter AnalyzeCFG.Cfg

include MyCFG.CfgBidir
include MyCFG.CfgBackward
val prev : MyCFG.cfg
include MyCFG.CfgForward
val next : MyCFG.cfg
val skippedByEdge : MyCFG.node -> MyCFG.edges -> MyCFG.node -> GoblintCil.stmt list

skippedByEdge from edges to returns the list of AST statements skipped over by find_real_stmt in CfgTools.createCfg. This consists of statements which do not correspond to CFG nodes, but some surrounding AST constructions.