Module Makecfg.MakeCFG

val contains_call : GoblintCil.instr list -> bool
class callBBVisitor : object ... end
val calls_end_basic_blocks : GoblintCil.file -> unit
class vidVisitor : object ... end
val globally_unique_vids : GoblintCil.file -> unit
val makeCFGFeature : GoblintCil.Feature.t