Flags.print_model_tptp_file

let print_model_tptp_file (flags: flags) = get_flag_string flags.flags FL_PrintModelTPTPFile