let print_model_tptp config = config.print_model_tptp