Module Cfg_analysis.Reduce

type state = (Cfg.V.t, CfgRegex.t) Stdlib.Hashtbl.t
val compute_exprs : Cfg.t -> Cfg.V.t Fixpoint.Wto.partition -> state