tacl-helper collapse-witnesses
==============================

.. program-output:: tacl-helper collapse-witnesses -h