let print_model_tptp_file config = config.print_model_tptp_file