let finite_domain config = config.finite_domain