Method trunc

smt/expr.cpp:1848–1850

}

expr expr::trunc(unsigned tobw) const {
  return extract(tobw-1, 0);
}

expr expr::sextOrTrunc(unsigned tobw) const {
  auto bw = bits();