{-# htermination isEmptyFM :: FiniteMap a b -> Bool #-}
import FiniteMap