{-# htermination not :: Bool -> Bool #-}