MAYBE
MAYBE
TRS:
 {
  app(app(app(comp(), f), g), x) -> app(f, app(g, x)),
                 app(twice(), f) -> app(app(comp(), f), f)
 }
 Fail