CilCfg0
CIL CFG functions to avoid dependency problems.
class allBBVisitor : object ... end
val end_basic_blocks : GoblintCil.file -> unit