{-# htermination addToFM :: FiniteMap Int b -> Int -> b  -> FiniteMap Int b #-}
import FiniteMap