- preserve lower bound of multiplicity when incemental is added
- extend regression test