MCPRegistry.AccListSpec
val assoc_dom : int -> (module Analyses.MCPA)
val domain_list : unit -> (int * (module Analyses.MCPA)) list