let add vi ki lv = IState.add vi (ki, lv)