Add test-suite file for guard condition on cofixpoints.