code: def _get_location(self, state, hash_id):
          
          return state.context.setdefault('{:s}.locations'.format(self.name), {})[hash_id]
docs: Get previously saved location
          A location is composed of: address, pc, finding, at_init, condition