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