let opposite_rel = function | Rlt -> Rge | Rgt -> Rle | Rge -> Rlt | Rle -> Rgt | Req -> Rneq | Rneq -> Req