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