Module Composite_domain

module Composite_domain: sig .. end
composite abstract domain (no longer with communications which have been internalized)

module type Composite_domain = sig .. end
module Make: 
functor (Domain : Analyzer_domain_sig.Domain) -> Composite_domain