Dhunk_analysis.Reduce
type state = (G.V.t, Dhunk_regex.t) Stdlib.Hashtbl.t
val compute_exprs : G.t -> G.V.t Fixpoint.Wto.partition -> state