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