{-# htermination pred :: () -> () #-}