{-# htermination (||) :: Bool -> Bool -> Bool #-}