vvalue
updateUses :: Eq k=> ([(k, ECMIncr)], ECMULength)-> k-> ECMIncr-> ECMULength-> [(k, ECMIncr)] -> [(k, ECMIncr)]-> ([(k, ECMIncr)], ECMULength)