如何检查布尔表达式是字面意思是TRUE还是FALSE？

Question

我创建了以下程序：

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
}