let print_model_finite config = config.print_model_finite