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