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