MAYBE
* Step 1: Failure MAYBE
  + Considered Problem:
      - Strict TRS:
          app(Cons(x,xs),ys) -> Cons(x,app(xs,ys))
          app(Nil(),ys) -> ys
          goal(xs) -> naiverev(xs)
          naiverev(Cons(x,xs)) -> app(naiverev(xs),Cons(x,Nil()))
          naiverev(Nil()) -> Nil()
          notEmpty(Cons(x,xs)) -> True()
          notEmpty(Nil()) -> False()
      - Signature:
          {app/2,goal/1,naiverev/1,notEmpty/1} / {Cons/2,False/0,Nil/0,True/0}
      - Obligation:
          innermost runtime complexity wrt. defined symbols {app,goal,naiverev,notEmpty} and constructors {Cons,False
          ,Nil,True}
  + Applied Processor:
      NaturalPI {shape = Mixed 3, restrict = NoRestrict, uargs = UArgs, urules = URules, selector = Nothing}
  + Details:
      Incompatible
MAYBE