{-# htermination (/=) :: Bool -> Bool -> Bool #-}