AddressTy => Location, PointerTy => Definition

make the names consistent with the paper