CyCoTest - The Curry Coverage Tester