- merging of constraints durring tallying
- erroneously drop tallying hypotheses once a pair of type (t,s) such. that t<s has been found is candidate.

* Catch the break signal and exit cleanly to allow one to run cduce with gprof enabled.