[Termtools] Bug in MU-TERM

[Johannes Waldmann]

.. who should be penalized ..

>>> SRS_Standard/Gebhardt_06/10
I thought the status (looping) was known.

This specific benchmark is mentioned in

Zankl et al.: Finding and Certifying Loops, SOFSEM 2010)
https://doi.org/10.1007/978-3-642-11266-9_63
https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.716.8820

p. 10 top: "most remarkably"

but it's not in the corresponding list
http://cl-informatik.uibk.ac.at/ttt2/loops/cert_srs/index.php

- Johannes.