MAYBE
MAYBE
TRS:
 {
  app(app(iterate(), f), x) ->
  app(app(cons(), x), app(app(iterate(), f), app(f, x)))
 }
 DUP: We consider a duplicating system.
  Trs:
   {
    app(app(iterate(), f), x) ->
    app(app(cons(), x), app(app(iterate(), f), app(f, x)))
   }
  Fail