Class TreeEvaluator.NegEvaluator