Simplify clause compilation (thanks to the new coinduction implementation)