This method should be override to return some value
        :param valuation
        :param trace
        :return:

def eval(self, valuation=None, trace=None):
        """
        This method should be override to return some value
        :param valuation
        :param trace
        :return:
        """
        return super().eval(valuation=valuation, trace=trace)