Suspected bug due to copy-pasted code in mbp_basic_tg.cpp

[ustchcs-bugfinder]

Same expression all_of(*c, is_false) is used for the true and false expressions.

                bool t = is_or ? any_of(*c, is_true) : all_of(*c, is_true);
                bool f = is_or ? all_of(*c, is_false) : all_of(*c, is_false); // <----- Bug on this Line
                                          // any_of??

z3/src/qe/mbp/mbp_basic_tg.cpp

Line 104 in 9073da4

bool f = is_or ? all_of(*c, is_false) : all_of(*c, is_false);