functor (Domain : Composite_domain.Composite_domain) -> Analyzer