let finite_domain_functionality config = config.finite_domain_functionality