Towards a model of corecursion with default