Method funo

smt/expr.cpp:1386–1388

}

expr expr::funo(const expr &rhs) const {
  return isNaN() || rhs.isNaN();
}

static expr get_bool(const expr &e) {
  expr cond, then, els;