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