{-# htermination isSuffixOf :: [Float] -> [Float] -> Bool #-}
import List