implemented fresh-loc and alloc-store