MAYBE

Problem:
 app(app(app(rec(),f),x),0()) -> x
 app(app(app(rec(),f),x),app(s(),y)) -> app(app(f,app(s(),y)),app(app(app(rec(),f),x),y))

Proof:
 Open