====== CyCoTest - The Curry Coverage Tester ======