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