add a RetElem class to create the return value in the abstract heap so that we can do the instantiation, need to make sure that the RetElem can only encapsulate a Register (i.e., return v in the IR where v can only be a parameter or local variable, and cannot be an access path or some other thing