Flags.print_preprocess_equality

let print_preprocess_equality (flags: flags) = get_flag_bool flags.flags FL_PrintPreprocessEquality