if type(obj.true) == value_t:
        ea = self.adjusted_location(obj.true.value)
        yield token_global('loc_%x' % (ea, ))
      else:
        for tok in self.expression_tokens(obj.true):