Flags.preprocess_equality

let preprocess_equality (flags: flags) = get_flag_bool flags.flags FL_PreprocessEquality