let
print_finite_domain_problem config = config.print_finite_domain_problem