{-# htermination elemFM :: (Ratio Int) -> FiniteMap (Ratio Int) b -> Bool #-}
import FiniteMap