MAYBE
Time: 0.004651
TRS:
 {        app(app(app(consif(), true()), x), ys) -> app(app(cons(), x), ys),
         app(app(app(consif(), false()), x), ys) -> ys,
  app(app(filter(), f), app(app(cons(), x), xs)) -> app(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)),
                    app(app(filter(), f), nil()) -> nil()}
 DP:
  DP:
   {        app#(app(app(consif(), true()), x), ys) -> app#(app(cons(), x), ys),
            app#(app(app(consif(), true()), x), ys) -> app#(cons(), x),
    app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x),
    app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)),
    app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(consif(), app(f, x)), x),
    app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs),
    app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(consif(), app(f, x))}
  TRS:
  {        app(app(app(consif(), true()), x), ys) -> app(app(cons(), x), ys),
          app(app(app(consif(), false()), x), ys) -> ys,
   app(app(filter(), f), app(app(cons(), x), xs)) -> app(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)),
                     app(app(filter(), f), nil()) -> nil()}
  EDG:
   {(app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(consif(), app(f, x)))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(consif(), app(f, x)), x))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)), app#(app(app(consif(), true()), x), ys) -> app#(cons(), x))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)), app#(app(app(consif(), true()), x), ys) -> app#(app(cons(), x), ys))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(consif(), app(f, x)))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(consif(), app(f, x)), x))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(app(consif(), true()), x), ys) -> app#(cons(), x))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(app(consif(), true()), x), ys) -> app#(app(cons(), x), ys))
    (app#(app(app(consif(), true()), x), ys) -> app#(cons(), x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(consif(), app(f, x)))
    (app#(app(app(consif(), true()), x), ys) -> app#(cons(), x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs))
    (app#(app(app(consif(), true()), x), ys) -> app#(cons(), x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(consif(), app(f, x)), x))
    (app#(app(app(consif(), true()), x), ys) -> app#(cons(), x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)))
    (app#(app(app(consif(), true()), x), ys) -> app#(cons(), x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x))
    (app#(app(app(consif(), true()), x), ys) -> app#(cons(), x), app#(app(app(consif(), true()), x), ys) -> app#(cons(), x))
    (app#(app(app(consif(), true()), x), ys) -> app#(cons(), x), app#(app(app(consif(), true()), x), ys) -> app#(app(cons(), x), ys))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(consif(), app(f, x)), x), app#(app(app(consif(), true()), x), ys) -> app#(app(cons(), x), ys))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(consif(), app(f, x)), x), app#(app(app(consif(), true()), x), ys) -> app#(cons(), x))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(consif(), app(f, x)), x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(consif(), app(f, x)), x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(consif(), app(f, x)), x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(consif(), app(f, x)), x))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(consif(), app(f, x)), x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(consif(), app(f, x)), x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(consif(), app(f, x)))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs), app#(app(app(consif(), true()), x), ys) -> app#(app(cons(), x), ys))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs), app#(app(app(consif(), true()), x), ys) -> app#(cons(), x))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(consif(), app(f, x)), x))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(consif(), app(f, x)))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(consif(), app(f, x)), app#(app(app(consif(), true()), x), ys) -> app#(app(cons(), x), ys))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(consif(), app(f, x)), app#(app(app(consif(), true()), x), ys) -> app#(cons(), x))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(consif(), app(f, x)), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(consif(), app(f, x)), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(consif(), app(f, x)), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(consif(), app(f, x)), x))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(consif(), app(f, x)), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs))
    (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(consif(), app(f, x)), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(consif(), app(f, x)))
    (app#(app(app(consif(), true()), x), ys) -> app#(app(cons(), x), ys), app#(app(app(consif(), true()), x), ys) -> app#(app(cons(), x), ys))
    (app#(app(app(consif(), true()), x), ys) -> app#(app(cons(), x), ys), app#(app(app(consif(), true()), x), ys) -> app#(cons(), x))
    (app#(app(app(consif(), true()), x), ys) -> app#(app(cons(), x), ys), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x))
    (app#(app(app(consif(), true()), x), ys) -> app#(app(cons(), x), ys), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)))
    (app#(app(app(consif(), true()), x), ys) -> app#(app(cons(), x), ys), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(consif(), app(f, x)), x))
    (app#(app(app(consif(), true()), x), ys) -> app#(app(cons(), x), ys), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs))
    (app#(app(app(consif(), true()), x), ys) -> app#(app(cons(), x), ys), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(consif(), app(f, x)))}
   EDG:
    {(app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)), app#(app(app(consif(), true()), x), ys) -> app#(cons(), x))
     (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)), app#(app(app(consif(), true()), x), ys) -> app#(app(cons(), x), ys))
     (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(consif(), app(f, x)))
     (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs))
     (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(consif(), app(f, x)), x))
     (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)))
     (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x))
     (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(app(consif(), true()), x), ys) -> app#(cons(), x))
     (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(app(consif(), true()), x), ys) -> app#(app(cons(), x), ys))
     (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x))
     (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)))
     (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(consif(), app(f, x)), x))
     (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs))
     (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(consif(), app(f, x)))}
    EDG:
     {(app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)), app#(app(app(consif(), true()), x), ys) -> app#(cons(), x))
      (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)), app#(app(app(consif(), true()), x), ys) -> app#(app(cons(), x), ys))
      (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(consif(), app(f, x)))
      (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs))
      (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(consif(), app(f, x)), x))
      (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)))
      (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x))
      (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(app(consif(), true()), x), ys) -> app#(cons(), x))
      (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(app(consif(), true()), x), ys) -> app#(app(cons(), x), ys))
      (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x))
      (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)))
      (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(consif(), app(f, x)), x))
      (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs))
      (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(consif(), app(f, x)))}
     EDG:
      {(app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)), app#(app(app(consif(), true()), x), ys) -> app#(cons(), x))
       (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)), app#(app(app(consif(), true()), x), ys) -> app#(app(cons(), x), ys))
       (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(consif(), app(f, x)))
       (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs))
       (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(consif(), app(f, x)), x))
       (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)))
       (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x))
       (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(app(consif(), true()), x), ys) -> app#(cons(), x))
       (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(app(consif(), true()), x), ys) -> app#(app(cons(), x), ys))
       (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x))
       (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)))
       (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(consif(), app(f, x)), x))
       (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs))
       (app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs), app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(consif(), app(f, x)))}
      STATUS:
       arrows: 0.714286
       SCCS (1):
        Scc:
         {app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x),
          app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs)}
        
        SCC (2):
         Strict:
          {app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(f, x),
           app#(app(filter(), f), app(app(cons(), x), xs)) -> app#(app(filter(), f), xs)}
         Weak:
         {        app(app(app(consif(), true()), x), ys) -> app(app(cons(), x), ys),
                 app(app(app(consif(), false()), x), ys) -> ys,
          app(app(filter(), f), app(app(cons(), x), xs)) -> app(app(app(consif(), app(f, x)), x), app(app(filter(), f), xs)),
                            app(app(filter(), f), nil()) -> nil()}
         Open