Method sgt

smt/expr.cpp:1784–1786

}

expr expr::sgt(const expr &rhs) const {
  return !sle(rhs);
}

expr expr::ule(uint64_t rhs) const {
  return ule(mkUInt(rhs, *this));