Termination Competition 2015 Bugs

strange outputs from test runs before competition, cf. [1]

• http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9663/9665/9682/9683
• http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9632/9652
• http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9546/9548/9568/9569

comments on the above

• http://lists.lri.fr/pipermail/termtools/2015-July/001063.html
• http://lists.lri.fr/pipermail/termtools/2015-July/001064.html