Flags.print_model_tptp

let print_model_tptp (flags: flags) = get_flag_bool flags.flags FL_PrintModelTPTP