Cfg (goblint.Goblint_lib.YamlWitness.Validator.R.FileCfg.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.