Svcomp.Task
include MyCFG.FileCfg
val file : GoblintCil.Cil.file
module Cfg : MyCFG.CfgBidirSkip
val specification : Specification.multi