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