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