MockProcCfg.WTO
module CFG : sig ... end
val make : CFG.t -> CFG.Node.t IR__WeakTopologicalOrder.Partition.t