Method release

ir/pointer.h:95–95

  const smt::expr& operator()() const { return p; }
  smt::expr release() && { return std::move(p); }
  unsigned bits() const { return p.bits(); }

  smt::expr reprWithoutAttrs() const;