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));
}
