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