stp.BVAddNoOverflow
===================

.. autofunction:: stp.BVAddNoOverflow