MAYBE
MAYBE
TRS:
 {
  app(app(rec(), h), app(g, app(s(), x))) ->
  app(app(h, x), app(app(rec(), h), app(g, x))),
          app(app(rec(), h), app(g, 0())) -> g
 }
 DUP: We consider a duplicating system.
  Trs:
   {
    app(app(rec(), h), app(g, app(s(), x))) ->
    app(app(h, x), app(app(rec(), h), app(g, x))),
            app(app(rec(), h), app(g, 0())) -> g
   }
  Fail