Logic `/` and `mod` don´t match Haskell's `div` and `mod`.

[ninioArtillero]

Logic / and mod (from liquid-fixpoint) don´t match Haskell's div and mod behavior, as they should given that the former is used to define the latter in src/GHC/Real_LHAssumptions.hs.

{-@
...

define div x y        = (x / y)
define mod x y        = (x mod y)

...
@-}

As a consequence, in the next example both functions fail verification but should not:

{-@exampleHaskellDiv :: {x:Int | x = 2} @-}
exampleHaskellDiv :: Int
exampleHaskellDiv = div (-5) (-2)

{-@ exampleHaskellMod :: {x:Int | x = -1} @-}
exampleHaskellMod :: Int
exampleHaskellMod = mod (-5) (-2)

On the other hand, this is ok:

{-@ exampleLogicDiv :: { 3 = (-5) / (-2)} @-}
exampleLogicDiv :: ()
exampleLogicDiv = ()

{-@ exampleLogicMod :: { 1 = (-5) mod (-2)} @-}
exampleLogicMod :: ()
exampleLogicMod = ()

[ninioArtillero]

More examples of the logic operations (for reference):

{-@ exampleLogicDiv :: {
                         3 = (-5) / (-2)
                      && 2 = (5) / (2)
                      && -3 = (-5) / (2)
                      && -2 = (5) / (-2)
                      && 1 = (-1) / (-2)
                      && 0 = (1) / (2)
                      && -1 = (-1) / (2)
                      && 0 = (1) / (-2)
                       } @-}
exampleLogicDiv :: ()
exampleLogicDiv = ()

{-@ exampleLogicMod :: {
                         1 = (-5) mod (-2)
                      && 1 = (5) mod (2)
                      && 1 = (-5) mod (2)
                      && 1 = (5) mod (-2)
                      && 1 = (-1) mod (-2)
                      && 1 = (1) mod (2)
                      && 1 = (-1) mod (2)
                      && 1 = (1) mod (-2)
                       } @-}
exampleLogicMod :: ()
exampleLogicMod = ()