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