public override Element /*!*/ NontrivialMeet(Element /*!*/ a, Element /*!*/ b) { //Contract.Requires(b != null); //Contract.Requires(a != null); Contract.Ensures(Contract.Result <Element>() != null); meetCount++; return(lattice.NontrivialMeet(a, b)); }