IEnumerator IEnumerable.GetEnumerator() { Contract.Ensures(Contract.Result<IEnumerator>() != null); return default(IEnumerator); } }