random_condition  125 test/correctness/fuzz_simplify.cpp         auto c = random_condition(T, depth, true);
random_condition  154 test/correctness/fuzz_simplify.cpp             return random_condition(T, depth, false);