{-# htermination notElem :: Int -> [Int] -> Bool #-}