[Termtools] TermComp test runs C Integer Termination

[Johannes Waldmann]

> Which examples are currently used for testing 

https://github.com/jwaldmann/star-exec-presenter/blob/master/Presenter/Registration/Form_2017.hs#L18

these are subspaces of
https://www.starexec.org/starexec/secure/explore/spaces.jsp?id=277680

which is TPDB-10.5
http://cl2-informatik.uibk.ac.at/mercurial.cgi/TPDB/file/f68b042f5918

- J.