let print_finite_domain_axioms config = config.print_finite_domain_axioms