MAYBE
Time: 27.994689
TRS:
 {                         ap(ap(ap(if(), true()), f), xs) -> nil(),
                          ap(ap(ap(if(), false()), f), xs) -> ap(ap(cons(), ap(f, ap(last(), xs))), ap(ap(map(), f), ap(dropLast(), xs))),
                                      ap(ap(map(), f), xs) -> ap(ap(ap(if(), ap(isEmpty(), xs)), f), xs),
                      ap(isEmpty(), ap(ap(cons(), x), xs)) -> false(),
                                      ap(isEmpty(), nil()) -> true(),
      ap(last(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap(last(), ap(ap(cons(), y), ys)),
                      ap(last(), ap(ap(cons(), x), nil())) -> x,
  ap(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap(ap(cons(), x), ap(dropLast(), ap(ap(cons(), y), ys))),
                  ap(dropLast(), ap(ap(cons(), x), nil())) -> nil(),
                                     ap(dropLast(), nil()) -> nil()}
 DP:
  DP:
   {                        ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)),
                            ap#(ap(ap(if(), false()), f), xs) -> ap#(ap(map(), f), ap(dropLast(), xs)),
                            ap#(ap(ap(if(), false()), f), xs) -> ap#(ap(cons(), ap(f, ap(last(), xs))), ap(ap(map(), f), ap(dropLast(), xs))),
                            ap#(ap(ap(if(), false()), f), xs) -> ap#(map(), f),
                            ap#(ap(ap(if(), false()), f), xs) -> ap#(cons(), ap(f, ap(last(), xs))),
                            ap#(ap(ap(if(), false()), f), xs) -> ap#(last(), xs),
                            ap#(ap(ap(if(), false()), f), xs) -> ap#(dropLast(), xs),
                                        ap#(ap(map(), f), xs) -> ap#(ap(ap(if(), ap(isEmpty(), xs)), f), xs),
                                        ap#(ap(map(), f), xs) -> ap#(ap(if(), ap(isEmpty(), xs)), f),
                                        ap#(ap(map(), f), xs) -> ap#(if(), ap(isEmpty(), xs)),
                                        ap#(ap(map(), f), xs) -> ap#(isEmpty(), xs),
        ap#(last(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(last(), ap(ap(cons(), y), ys)),
    ap#(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(ap(cons(), x), ap(dropLast(), ap(ap(cons(), y), ys))),
    ap#(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(dropLast(), ap(ap(cons(), y), ys))}
  TRS:
  {                         ap(ap(ap(if(), true()), f), xs) -> nil(),
                           ap(ap(ap(if(), false()), f), xs) -> ap(ap(cons(), ap(f, ap(last(), xs))), ap(ap(map(), f), ap(dropLast(), xs))),
                                       ap(ap(map(), f), xs) -> ap(ap(ap(if(), ap(isEmpty(), xs)), f), xs),
                       ap(isEmpty(), ap(ap(cons(), x), xs)) -> false(),
                                       ap(isEmpty(), nil()) -> true(),
       ap(last(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap(last(), ap(ap(cons(), y), ys)),
                       ap(last(), ap(ap(cons(), x), nil())) -> x,
   ap(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap(ap(cons(), x), ap(dropLast(), ap(ap(cons(), y), ys))),
                   ap(dropLast(), ap(ap(cons(), x), nil())) -> nil(),
                                      ap(dropLast(), nil()) -> nil()}
  UR:
   {                         ap(ap(ap(if(), true()), f), xs) -> nil(),
                            ap(ap(ap(if(), false()), f), xs) -> ap(ap(cons(), ap(f, ap(last(), xs))), ap(ap(map(), f), ap(dropLast(), xs))),
                                        ap(ap(map(), f), xs) -> ap(ap(ap(if(), ap(isEmpty(), xs)), f), xs),
                        ap(isEmpty(), ap(ap(cons(), x), xs)) -> false(),
                                        ap(isEmpty(), nil()) -> true(),
        ap(last(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap(last(), ap(ap(cons(), y), ys)),
                        ap(last(), ap(ap(cons(), x), nil())) -> x,
    ap(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap(ap(cons(), x), ap(dropLast(), ap(ap(cons(), y), ys))),
                    ap(dropLast(), ap(ap(cons(), x), nil())) -> nil(),
                                       ap(dropLast(), nil()) -> nil(),
                                                     a(z, w) -> z,
                                                     a(z, w) -> w}
   EDG:
    {(ap#(ap(ap(if(), false()), f), xs) -> ap#(ap(map(), f), ap(dropLast(), xs)), ap#(ap(map(), f), xs) -> ap#(isEmpty(), xs))
     (ap#(ap(ap(if(), false()), f), xs) -> ap#(ap(map(), f), ap(dropLast(), xs)), ap#(ap(map(), f), xs) -> ap#(if(), ap(isEmpty(), xs)))
     (ap#(ap(ap(if(), false()), f), xs) -> ap#(ap(map(), f), ap(dropLast(), xs)), ap#(ap(map(), f), xs) -> ap#(ap(if(), ap(isEmpty(), xs)), f))
     (ap#(ap(ap(if(), false()), f), xs) -> ap#(ap(map(), f), ap(dropLast(), xs)), ap#(ap(map(), f), xs) -> ap#(ap(ap(if(), ap(isEmpty(), xs)), f), xs))
     (ap#(last(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(last(), ap(ap(cons(), y), ys)), ap#(last(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(last(), ap(ap(cons(), y), ys)))
     (ap#(ap(map(), f), xs) -> ap#(ap(ap(if(), ap(isEmpty(), xs)), f), xs), ap#(ap(ap(if(), false()), f), xs) -> ap#(dropLast(), xs))
     (ap#(ap(map(), f), xs) -> ap#(ap(ap(if(), ap(isEmpty(), xs)), f), xs), ap#(ap(ap(if(), false()), f), xs) -> ap#(last(), xs))
     (ap#(ap(map(), f), xs) -> ap#(ap(ap(if(), ap(isEmpty(), xs)), f), xs), ap#(ap(ap(if(), false()), f), xs) -> ap#(cons(), ap(f, ap(last(), xs))))
     (ap#(ap(map(), f), xs) -> ap#(ap(ap(if(), ap(isEmpty(), xs)), f), xs), ap#(ap(ap(if(), false()), f), xs) -> ap#(map(), f))
     (ap#(ap(map(), f), xs) -> ap#(ap(ap(if(), ap(isEmpty(), xs)), f), xs), ap#(ap(ap(if(), false()), f), xs) -> ap#(ap(cons(), ap(f, ap(last(), xs))), ap(ap(map(), f), ap(dropLast(), xs))))
     (ap#(ap(map(), f), xs) -> ap#(ap(ap(if(), ap(isEmpty(), xs)), f), xs), ap#(ap(ap(if(), false()), f), xs) -> ap#(ap(map(), f), ap(dropLast(), xs)))
     (ap#(ap(map(), f), xs) -> ap#(ap(ap(if(), ap(isEmpty(), xs)), f), xs), ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)))
     (ap#(ap(ap(if(), false()), f), xs) -> ap#(last(), xs), ap#(last(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(last(), ap(ap(cons(), y), ys)))
     (ap#(ap(ap(if(), false()), f), xs) -> ap#(dropLast(), xs), ap#(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(ap(cons(), x), ap(dropLast(), ap(ap(cons(), y), ys))))
     (ap#(ap(ap(if(), false()), f), xs) -> ap#(dropLast(), xs), ap#(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(dropLast(), ap(ap(cons(), y), ys)))
     (ap#(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(dropLast(), ap(ap(cons(), y), ys)), ap#(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(ap(cons(), x), ap(dropLast(), ap(ap(cons(), y), ys))))
     (ap#(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(dropLast(), ap(ap(cons(), y), ys)), ap#(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(dropLast(), ap(ap(cons(), y), ys)))
     (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)))
     (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(ap(ap(if(), false()), f), xs) -> ap#(ap(map(), f), ap(dropLast(), xs)))
     (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(ap(ap(if(), false()), f), xs) -> ap#(ap(cons(), ap(f, ap(last(), xs))), ap(ap(map(), f), ap(dropLast(), xs))))
     (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(ap(ap(if(), false()), f), xs) -> ap#(map(), f))
     (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(ap(ap(if(), false()), f), xs) -> ap#(cons(), ap(f, ap(last(), xs))))
     (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(ap(ap(if(), false()), f), xs) -> ap#(last(), xs))
     (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(ap(ap(if(), false()), f), xs) -> ap#(dropLast(), xs))
     (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(ap(map(), f), xs) -> ap#(ap(ap(if(), ap(isEmpty(), xs)), f), xs))
     (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(ap(map(), f), xs) -> ap#(ap(if(), ap(isEmpty(), xs)), f))
     (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(ap(map(), f), xs) -> ap#(if(), ap(isEmpty(), xs)))
     (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(ap(map(), f), xs) -> ap#(isEmpty(), xs))
     (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(last(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(last(), ap(ap(cons(), y), ys)))
     (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(ap(cons(), x), ap(dropLast(), ap(ap(cons(), y), ys))))
     (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(dropLast(), ap(ap(cons(), y), ys)))}
    STATUS:
     arrows: 0.841837
     SCCS (3):
      Scc:
       {ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)),
        ap#(ap(ap(if(), false()), f), xs) -> ap#(ap(map(), f), ap(dropLast(), xs)),
                    ap#(ap(map(), f), xs) -> ap#(ap(ap(if(), ap(isEmpty(), xs)), f), xs)}
      Scc:
       {ap#(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(dropLast(), ap(ap(cons(), y), ys))}
      Scc:
       {ap#(last(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(last(), ap(ap(cons(), y), ys))}
      
      SCC (3):
       Strict:
        {ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)),
         ap#(ap(ap(if(), false()), f), xs) -> ap#(ap(map(), f), ap(dropLast(), xs)),
                     ap#(ap(map(), f), xs) -> ap#(ap(ap(if(), ap(isEmpty(), xs)), f), xs)}
       Weak:
       {                         ap(ap(ap(if(), true()), f), xs) -> nil(),
                                ap(ap(ap(if(), false()), f), xs) -> ap(ap(cons(), ap(f, ap(last(), xs))), ap(ap(map(), f), ap(dropLast(), xs))),
                                            ap(ap(map(), f), xs) -> ap(ap(ap(if(), ap(isEmpty(), xs)), f), xs),
                            ap(isEmpty(), ap(ap(cons(), x), xs)) -> false(),
                                            ap(isEmpty(), nil()) -> true(),
            ap(last(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap(last(), ap(ap(cons(), y), ys)),
                            ap(last(), ap(ap(cons(), x), nil())) -> x,
        ap(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap(ap(cons(), x), ap(dropLast(), ap(ap(cons(), y), ys))),
                        ap(dropLast(), ap(ap(cons(), x), nil())) -> nil(),
                                           ap(dropLast(), nil()) -> nil()}
       Open
      
      
      
      
      SCC (1):
       Strict:
        {ap#(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(dropLast(), ap(ap(cons(), y), ys))}
       Weak:
       {                         ap(ap(ap(if(), true()), f), xs) -> nil(),
                                ap(ap(ap(if(), false()), f), xs) -> ap(ap(cons(), ap(f, ap(last(), xs))), ap(ap(map(), f), ap(dropLast(), xs))),
                                            ap(ap(map(), f), xs) -> ap(ap(ap(if(), ap(isEmpty(), xs)), f), xs),
                            ap(isEmpty(), ap(ap(cons(), x), xs)) -> false(),
                                            ap(isEmpty(), nil()) -> true(),
            ap(last(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap(last(), ap(ap(cons(), y), ys)),
                            ap(last(), ap(ap(cons(), x), nil())) -> x,
        ap(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap(ap(cons(), x), ap(dropLast(), ap(ap(cons(), y), ys))),
                        ap(dropLast(), ap(ap(cons(), x), nil())) -> nil(),
                                           ap(dropLast(), nil()) -> nil()}
       Open
      
      
      SCC (1):
       Strict:
        {ap#(last(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(last(), ap(ap(cons(), y), ys))}
       Weak:
       {                         ap(ap(ap(if(), true()), f), xs) -> nil(),
                                ap(ap(ap(if(), false()), f), xs) -> ap(ap(cons(), ap(f, ap(last(), xs))), ap(ap(map(), f), ap(dropLast(), xs))),
                                            ap(ap(map(), f), xs) -> ap(ap(ap(if(), ap(isEmpty(), xs)), f), xs),
                            ap(isEmpty(), ap(ap(cons(), x), xs)) -> false(),
                                            ap(isEmpty(), nil()) -> true(),
            ap(last(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap(last(), ap(ap(cons(), y), ys)),
                            ap(last(), ap(ap(cons(), x), nil())) -> x,
        ap(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap(ap(cons(), x), ap(dropLast(), ap(ap(cons(), y), ys))),
                        ap(dropLast(), ap(ap(cons(), x), nil())) -> nil(),
                                           ap(dropLast(), nil()) -> nil()}
       Open