MAYBE
MAYBE
TRS:
 {
  app(app(app(subst(), f), g), x) -> app(app(f, x), app(g, x)),
          app(app(const(), x), y) -> x,
            app(app(fix(), f), x) -> app(app(f, app(fix(), f)), x)
 }
 DUP: We consider a duplicating system.
  Trs:
   {
    app(app(app(subst(), f), g), x) -> app(app(f, x), app(g, x)),
            app(app(const(), x), y) -> x,
              app(app(fix(), f), x) -> app(app(f, app(fix(), f)), x)
   }
  Fail