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