Module `SpecSysSol2.FileCfg`

val file : GoblintCil.Cil.file

module Cfg : MyCFG.CfgBidirSkip