{-# htermination reads :: String -> [(Bool,String)] #-}