Parameter `YamlInvariant.FileCfg`

val file : GoblintCil.Cil.file

module Cfg : MyCFG.CfgBidirSkip