def __str__(self):
        """ Return a suitable string representation. """
        if len(self.args) == 0:
            return self.name
        else:
            return self.name + '(' + ', '.join([str(x) for x in self.args]) + ')'