Как я могу проверить, является ли логическое выражение буквально TRUE или FALSE?

Я создал следующую программу:

context c;
expr x = c.int_val(1);
expr y = c.int_val(2);
expr b = (x > y).simplify();
std::cout << "b = " << b << "\n";

Вывод сказал, что b = false. Но как я могу проверить, является ли b ложной константой? Я хочу сделать что-то на основе b следующим образом:

if (b is false) {
  // do something
}