Function raw_load

ir/memory.cpp:1138–1141

}

static expr raw_load(const expr &block, const expr &offset,
                     uint64_t max_idx = UINT64_MAX) {
  return block.isBV() ? block : block.load(offset, max_idx);
}

static expr mk_store(expr mem, const expr &offset, const expr &val) {
  if (mem.isBV())