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