MAYBE
MAYBE
TRS:
 {
  app(app(app(rec(), f), x), app(s(), y)) ->
  app(app(f, app(s(), y)), app(app(app(rec(), f), x), y)),
          app(app(app(rec(), f), x), 0()) -> x,
          app(app(add(), app(s(), x)), y) -> app(s(), app(app(add(), x), y)),
                  app(app(add(), 0()), y) -> y,
         app(app(mult(), app(s(), x)), y) ->
  app(app(add(), app(app(mult(), x), y)), y),
                 app(app(mult(), 0()), y) -> 0(),
                                   fact() ->
  app(app(rec(), mult()), app(s(), 0()))
 }
 DUP: We consider a duplicating system.
  Trs:
   {
    app(app(app(rec(), f), x), app(s(), y)) ->
    app(app(f, app(s(), y)), app(app(app(rec(), f), x), y)),
            app(app(app(rec(), f), x), 0()) -> x,
            app(app(add(), app(s(), x)), y) ->
    app(s(), app(app(add(), x), y)),
                    app(app(add(), 0()), y) -> y,
           app(app(mult(), app(s(), x)), y) ->
    app(app(add(), app(app(mult(), x), y)), y),
                   app(app(mult(), 0()), y) -> 0(),
                                     fact() ->
    app(app(rec(), mult()), app(s(), 0()))
   }
  Fail