Parameter `Invariant.FileCfg`

val file : GoblintCil.Cil.file

module Cfg : MyCFG.CfgBidirSkip