bool IEqualityComparer <Expr> .Equals(Expr x, Expr y) { var nx = deBruijn.Rename(x); var ny = deBruijn.Rename(y); return(BinderExpr.EqualWithAttributesAndTriggers(nx, ny)); }