I've used above function to construct OpExpr expressions with equality operators in the past, but it seems it was removed and there's no replacement for it?
-- Thanks
Bernd