Method zextOrTrunc

smt/expr.cpp:1857–1860

}

expr expr::zextOrTrunc(unsigned tobw) const {
  auto bw = bits();
  return bw < tobw ? zext(tobw - bw) : trunc(tobw);
}

expr expr::concat(const expr &rhs) const {
  expr a, b, c, d;