MAYBE
MAYBE
TRS:
 {
  app(app(plus(), app(s(), x)), y) -> app(s(), app(app(plus(), x), y)),
                      app(id(), x) -> x,
                  app(plus(), 0()) -> id()
 }
 Fail