MAYBE
MAYBE
TRS:
 {
                      app(app(app(app(filter2(), true()), f), x), xs) ->
  app(app(cons(), x), app(app(filter(), f), xs)),
                     app(app(app(app(filter2(), false()), f), x), xs) ->
  app(app(filter(), f), xs),
                                        app(app(h(), z), app(e(), x)) ->
  app(app(h(), app(c(), z)), app(app(d(), z), x)),
                                app(app(d(), z), app(app(g(), x), y)) ->
  app(app(g(), app(e(), x)), app(app(d(), z), y)),
                            app(app(d(), z), app(app(g(), 0()), 0())) ->
  app(e(), 0()),
  app(app(d(), app(c(), z)), app(app(g(), app(app(g(), x), y)), 0())) ->
  app(
     app(g(), app(app(d(), app(c(), z)), app(app(g(), x), y))),
     app(app(d(), z), app(app(g(), x), y))
  ),
                              app(app(g(), app(e(), x)), app(e(), y)) ->
  app(e(), app(app(g(), x), y)),
                          app(app(map(), f), app(app(cons(), x), xs)) ->
  app(app(cons(), app(f, x)), app(app(map(), f), xs)),
                                            app(app(map(), f), nil()) ->
  nil(),
                       app(app(filter(), f), app(app(cons(), x), xs)) ->
  app(app(app(app(filter2(), app(f, x)), f), x), xs),
                                         app(app(filter(), f), nil()) ->
  nil()
 }
 DUP: We consider a duplicating system.
  Trs:
   {
                        app(app(app(app(filter2(), true()), f), x), xs) ->
    app(app(cons(), x), app(app(filter(), f), xs)),
                       app(app(app(app(filter2(), false()), f), x), xs) ->
    app(app(filter(), f), xs),
                                          app(app(h(), z), app(e(), x)) ->
    app(app(h(), app(c(), z)), app(app(d(), z), x)),
                                  app(app(d(), z), app(app(g(), x), y)) ->
    app(app(g(), app(e(), x)), app(app(d(), z), y)),
                              app(app(d(), z), app(app(g(), 0()), 0())) ->
    app(e(), 0()),
    app(app(d(), app(c(), z)), app(app(g(), app(app(g(), x), y)), 0())) ->
    app(
       app(g(), app(app(d(), app(c(), z)), app(app(g(), x), y))),
       app(app(d(), z), app(app(g(), x), y))
    ),
                                app(app(g(), app(e(), x)), app(e(), y)) ->
    app(e(), app(app(g(), x), y)),
                            app(app(map(), f), app(app(cons(), x), xs)) ->
    app(app(cons(), app(f, x)), app(app(map(), f), xs)),
                                              app(app(map(), f), nil()) ->
    nil(),
                         app(app(filter(), f), app(app(cons(), x), xs)) ->
    app(app(app(app(filter2(), app(f, x)), f), x), xs),
                                           app(app(filter(), f), nil()) ->
    nil()
   }
  Fail