sig
  module Cfg :
    functor (W : Mcfg.S->
      sig
        val compute :
          Cil2cfg.t ->
          WpStrategy.strategy ->
          W.t_prop list * (Format.formatter -> Cil2cfg.edge -> unit)
      end
end