def __str__(self):
    return ('%s(%s)' % (self.name, ', '.join((str(_id(arg)) for arg in self.args))))
def __str__(self):
    return ('%s(%s)' % (self.name, ', '.join((str(_id(arg)) for arg in self.args))))