MAYBE
Time: 0.008194
TRS:
 { app(app(app(curry(), f), x), y) -> app(app(f, x), y),
  app(app(plus(), app(s(), x)), y) -> app(s(), app(app(plus(), x), y)),
          app(app(plus(), 0()), y) -> y,
                             add() -> app(curry(), plus())}
 DP:
  DP:
   { app#(app(app(curry(), f), x), y) -> app#(f, x),
     app#(app(app(curry(), f), x), y) -> app#(app(f, x), y),
    app#(app(plus(), app(s(), x)), y) -> app#(app(plus(), x), y),
    app#(app(plus(), app(s(), x)), y) -> app#(plus(), x),
    app#(app(plus(), app(s(), x)), y) -> app#(s(), app(app(plus(), x), y)),
                               add#() -> app#(curry(), plus())}
  TRS:
  { app(app(app(curry(), f), x), y) -> app(app(f, x), y),
   app(app(plus(), app(s(), x)), y) -> app(s(), app(app(plus(), x), y)),
           app(app(plus(), 0()), y) -> y,
                              add() -> app(curry(), plus())}
  EDG:
   {(app#(app(app(curry(), f), x), y) -> app#(f, x), app#(app(plus(), app(s(), x)), y) -> app#(s(), app(app(plus(), x), y)))
    (app#(app(app(curry(), f), x), y) -> app#(f, x), app#(app(plus(), app(s(), x)), y) -> app#(plus(), x))
    (app#(app(app(curry(), f), x), y) -> app#(f, x), app#(app(plus(), app(s(), x)), y) -> app#(app(plus(), x), y))
    (app#(app(app(curry(), f), x), y) -> app#(f, x), app#(app(app(curry(), f), x), y) -> app#(app(f, x), y))
    (app#(app(app(curry(), f), x), y) -> app#(f, x), app#(app(app(curry(), f), x), y) -> app#(f, x))
    (app#(app(plus(), app(s(), x)), y) -> app#(app(plus(), x), y), app#(app(plus(), app(s(), x)), y) -> app#(s(), app(app(plus(), x), y)))
    (app#(app(plus(), app(s(), x)), y) -> app#(app(plus(), x), y), app#(app(plus(), app(s(), x)), y) -> app#(plus(), x))
    (app#(app(plus(), app(s(), x)), y) -> app#(app(plus(), x), y), app#(app(plus(), app(s(), x)), y) -> app#(app(plus(), x), y))
    (app#(app(app(curry(), f), x), y) -> app#(app(f, x), y), app#(app(app(curry(), f), x), y) -> app#(f, x))
    (app#(app(app(curry(), f), x), y) -> app#(app(f, x), y), app#(app(app(curry(), f), x), y) -> app#(app(f, x), y))
    (app#(app(app(curry(), f), x), y) -> app#(app(f, x), y), app#(app(plus(), app(s(), x)), y) -> app#(app(plus(), x), y))
    (app#(app(app(curry(), f), x), y) -> app#(app(f, x), y), app#(app(plus(), app(s(), x)), y) -> app#(plus(), x))
    (app#(app(app(curry(), f), x), y) -> app#(app(f, x), y), app#(app(plus(), app(s(), x)), y) -> app#(s(), app(app(plus(), x), y)))}
   STATUS:
    arrows: 0.638889
    SCCS (2):
     Scc:
      {app#(app(app(curry(), f), x), y) -> app#(f, x),
       app#(app(app(curry(), f), x), y) -> app#(app(f, x), y)}
     Scc:
      {app#(app(plus(), app(s(), x)), y) -> app#(app(plus(), x), y)}
     
     
     SCC (2):
      Strict:
       {app#(app(app(curry(), f), x), y) -> app#(f, x),
        app#(app(app(curry(), f), x), y) -> app#(app(f, x), y)}
      Weak:
      { app(app(app(curry(), f), x), y) -> app(app(f, x), y),
       app(app(plus(), app(s(), x)), y) -> app(s(), app(app(plus(), x), y)),
               app(app(plus(), 0()), y) -> y,
                                  add() -> app(curry(), plus())}
      Open
     SCC (1):
      Strict:
       {app#(app(plus(), app(s(), x)), y) -> app#(app(plus(), x), y)}
      Weak:
      { app(app(app(curry(), f), x), y) -> app(app(f, x), y),
       app(app(plus(), app(s(), x)), y) -> app(s(), app(app(plus(), x), y)),
               app(app(plus(), 0()), y) -> y,
                                  add() -> app(curry(), plus())}
      Open