} //for deserialization public XPathCmpExpr(int op, XPathExpression a, XPathExpression b) : base(a, b) { this.op = op; }