MAYBE
* Step 1: Failure MAYBE
  + Considered Problem:
      - Strict TRS:
          f(x,Cons(x',xs)) -> f(f[Ite][False][Ite](lt0(x,Cons(Nil(),Nil())),x,Cons(x',xs))
                               ,f[Ite][False][Ite](lt0(x,Cons(Nil(),Nil())),x,Cons(x',xs)))
          f(x,Nil()) -> Cons(Nil()
                            ,Cons(Nil()
                                 ,Cons(Nil()
                                      ,Cons(Nil()
                                           ,Cons(Nil()
                                                ,Cons(Nil()
                                                     ,Cons(Nil()
                                                          ,Cons(Nil()
                                                               ,Cons(Nil()
                                                                    ,Cons(Nil()
                                                                         ,Cons(Nil()
                                                                              ,Cons(Nil()
                                                                                   ,Cons(Nil()
                                                                                        ,Cons(Nil()
                                                                                             ,Cons(Nil()
                                                                                                  ,Cons(Nil()
                                                                                                       ,Cons(Nil()
                                                                                                            ,Cons(Nil()
                                                                                                                 ,Cons(Nil()
                                                                                                                      ,Cons(Nil()
                                                                                                                           ,Cons(Nil()
                                                                                                                                ,Cons(Nil()
                                                                                                                                     ,Cons(Nil()
                                                                                                                                          ,Cons(Nil()
                                                                                                                                               ,Cons(Nil()
                                                                                                                                                    ,Cons(Nil()
                                                                                                                                                         ,Cons(Nil()
                                                                                                                                                              ,Cons(Nil()
                                                                                                                                                                   ,Cons(Nil()
                                                                                                                                                                        ,Cons(Nil()
                                                                                                                                                                             ,Cons(Nil()
                                                                                                                                                                                  ,Cons(Nil()
                                                                                                                                                                                       ,Cons(Nil()
                                                                                                                                                                                            ,Cons(Nil()
                                                                                                                                                                                                 ,Cons(Nil()
                                                                                                                                                                                                      ,Cons(Nil()
                                                                                                                                                                                                           ,Cons(Nil()
                                                                                                                                                                                                                ,Cons(Nil()
                                                                                                                                                                                                                     ,Cons(Nil()
                                                                                                                                                                                                                          ,Cons(Nil()
                                                                                                                                                                                                                               ,Cons(Nil()
                                                                                                                                                                                                                                    ,Cons(Nil()
                                                                                                                                                                                                                                         ,Nil()))))))))))))))))))))))))))))))))))))))))))
          g(x,Cons(x',xs)) -> g[Ite][False][Ite](lt0(x,Cons(Nil(),Nil())),x,Cons(x',xs))
          g(x,Nil()) -> Cons(Nil()
                            ,Cons(Nil()
                                 ,Cons(Nil()
                                      ,Cons(Nil()
                                           ,Cons(Nil()
                                                ,Cons(Nil()
                                                     ,Cons(Nil()
                                                          ,Cons(Nil()
                                                               ,Cons(Nil()
                                                                    ,Cons(Nil()
                                                                         ,Cons(Nil()
                                                                              ,Cons(Nil()
                                                                                   ,Cons(Nil()
                                                                                        ,Cons(Nil()
                                                                                             ,Cons(Nil()
                                                                                                  ,Cons(Nil()
                                                                                                       ,Cons(Nil()
                                                                                                            ,Cons(Nil()
                                                                                                                 ,Cons(Nil()
                                                                                                                      ,Cons(Nil()
                                                                                                                           ,Cons(Nil()
                                                                                                                                ,Cons(Nil()
                                                                                                                                     ,Cons(Nil()
                                                                                                                                          ,Cons(Nil()
                                                                                                                                               ,Cons(Nil()
                                                                                                                                                    ,Cons(Nil()
                                                                                                                                                         ,Cons(Nil()
                                                                                                                                                              ,Cons(Nil()
                                                                                                                                                                   ,Cons(Nil()
                                                                                                                                                                        ,Cons(Nil()
                                                                                                                                                                             ,Cons(Nil()
                                                                                                                                                                                  ,Cons(Nil()
                                                                                                                                                                                       ,Cons(Nil()
                                                                                                                                                                                            ,Cons(Nil()
                                                                                                                                                                                                 ,Cons(Nil()
                                                                                                                                                                                                      ,Cons(Nil()
                                                                                                                                                                                                           ,Cons(Nil()
                                                                                                                                                                                                                ,Cons(Nil()
                                                                                                                                                                                                                     ,Cons(Nil()
                                                                                                                                                                                                                          ,Cons(Nil()
                                                                                                                                                                                                                               ,Cons(Nil()
                                                                                                                                                                                                                                    ,Cons(Nil()
                                                                                                                                                                                                                                         ,Nil()))))))))))))))))))))))))))))))))))))))))))
          goal(x,y) -> Cons(f(x,y),Cons(g(x,y),Nil()))
          lt0(x,Nil()) -> False()
          lt0(Cons(x',xs'),Cons(x,xs)) -> lt0(xs',xs)
          number42() -> Cons(Nil()
                            ,Cons(Nil()
                                 ,Cons(Nil()
                                      ,Cons(Nil()
                                           ,Cons(Nil()
                                                ,Cons(Nil()
                                                     ,Cons(Nil()
                                                          ,Cons(Nil()
                                                               ,Cons(Nil()
                                                                    ,Cons(Nil()
                                                                         ,Cons(Nil()
                                                                              ,Cons(Nil()
                                                                                   ,Cons(Nil()
                                                                                        ,Cons(Nil()
                                                                                             ,Cons(Nil()
                                                                                                  ,Cons(Nil()
                                                                                                       ,Cons(Nil()
                                                                                                            ,Cons(Nil()
                                                                                                                 ,Cons(Nil()
                                                                                                                      ,Cons(Nil()
                                                                                                                           ,Cons(Nil()
                                                                                                                                ,Cons(Nil()
                                                                                                                                     ,Cons(Nil()
                                                                                                                                          ,Cons(Nil()
                                                                                                                                               ,Cons(Nil()
                                                                                                                                                    ,Cons(Nil()
                                                                                                                                                         ,Cons(Nil()
                                                                                                                                                              ,Cons(Nil()
                                                                                                                                                                   ,Cons(Nil()
                                                                                                                                                                        ,Cons(Nil()
                                                                                                                                                                             ,Cons(Nil()
                                                                                                                                                                                  ,Cons(Nil()
                                                                                                                                                                                       ,Cons(Nil()
                                                                                                                                                                                            ,Cons(Nil()
                                                                                                                                                                                                 ,Cons(Nil()
                                                                                                                                                                                                      ,Cons(Nil()
                                                                                                                                                                                                           ,Cons(Nil()
                                                                                                                                                                                                                ,Cons(Nil()
                                                                                                                                                                                                                     ,Cons(Nil()
                                                                                                                                                                                                                          ,Cons(Nil()
                                                                                                                                                                                                                               ,Cons(Nil()
                                                                                                                                                                                                                                    ,Cons(Nil()
                                                                                                                                                                                                                                         ,Nil()))))))))))))))))))))))))))))))))))))))))))
      - Weak TRS:
          f[Ite][False][Ite](False(),x,y) -> Cons(Cons(Nil(),Nil()),y)
          f[Ite][False][Ite](False(),Cons(x,xs),y) -> xs
          f[Ite][False][Ite](True(),x,y) -> x
          f[Ite][False][Ite](True(),x',Cons(x,xs)) -> xs
          g[Ite][False][Ite](False(),Cons(x,xs),y) -> g(xs,Cons(Cons(Nil(),Nil()),y))
          g[Ite][False][Ite](True(),x',Cons(x,xs)) -> g(x',xs)
      - Signature:
          {f/2,f[Ite][False][Ite]/3,g/2,g[Ite][False][Ite]/3,goal/2,lt0/2,number42/0} / {Cons/2,False/0,Nil/0,True/0}
      - Obligation:
          innermost runtime complexity wrt. defined symbols {f,f[Ite][False][Ite],g,g[Ite][False][Ite],goal,lt0
          ,number42} and constructors {Cons,False,Nil,True}
  + Applied Processor:
      Ara {heuristics_ = NoHeuristics, minDegree = 1, maxDegree = 3, araTimeout = 60, araFindStrictRules = Nothing, araSmtSolver = Z3}
  + Details:
      The input can not be schown compatible.
MAYBE