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