public override IExpr /*?*/ EquivalentExpr(Element /*!*/ e, IQueryable /*!*/ q, IExpr /*!*/ expr, IVariable /*!*/ var, ISet /*<IVariable!>*//*!*/ prohibitedVars)
{
//Contract.Requires(prohibitedVars != null);
//Contract.Requires(var != null);
//Contract.Requires(expr != null);
//Contract.Requires(q != null);
//Contract.Requires(e != null);
equivalentExprCount++;
return(lattice.EquivalentExpr(e, q, expr, var, prohibitedVars));
}
