Class XorExpressionSolver