Class NotExpressionSolver