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