Domain.Simplified_productSourceReduced product of simplified (leaf) domains
val make :
(module Sig.Combiner.Simplified.SIMPLIFIED_COMBINER) list ->
rules:(module Sig.Reduction.Simplified.SIMPLIFIED_REDUCTION) list ->
(module Sig.Combiner.Simplified.SIMPLIFIED_COMBINER)Create a reduced product of a list of simplified domains and a list of reduction rules