Module type MyCFG.FileCfg

val file : GoblintCil.Cil.file
module Cfg : CfgBidirSkip