public override XPathNavigator Clone() { Contract.Ensures(Contract.Result<XPathNavigator>() != null); return default(XPathNavigator); }