stp.BVAddNoUnderflow
====================

.. autofunction:: stp.BVAddNoUnderflow