from slither.core.variables.variable import Variable

class SlithIRVariable(Variable):

    def __init__(self):
        super(SlithIRVariable, self).__init__()
        self._index = 0

    @property
    def ssa_name(self):
        return self.name

    def __str__(self):
        return self.ssa_name
