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