Method trunc

ir/state_value.cpp:26–29

}

StateValue StateValue::trunc(unsigned bw_val, unsigned bw_np) const {
  return { value.trunc(bw_val),
           non_poison.isBool() ? expr(non_poison) : non_poison.trunc(bw_np) };
}

StateValue StateValue::zextOrTrunc(unsigned tobw) const {
  return