Как мога да проверя дали булев израз е буквално 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 = невярно. Но как мога да проверя дали b е фалшивата константа? Искам да направя нещо въз основа на b, както следва:

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