MAYBE
* Step 1: Failure MAYBE
  + Considered Problem:
      - Strict TRS:
          append(Cons(x,xs),ys) -> Cons(x,append(xs,ys))
          append(Nil(),ys) -> ys
          goal(xs) -> shuffle(xs)
          reverse(Cons(x,xs)) -> append(reverse(xs),Cons(x,Nil()))
          reverse(Nil()) -> Nil()
          shuffle(Cons(x,xs)) -> Cons(x,shuffle(reverse(xs)))
          shuffle(Nil()) -> Nil()
      - Signature:
          {append/2,goal/1,reverse/1,shuffle/1} / {Cons/2,Nil/0}
      - Obligation:
          innermost runtime complexity wrt. defined symbols {append,goal,reverse,shuffle} and constructors {Cons,Nil}
  + Applied Processor:
      MI {miKind = Automaton Nothing, miDimension = 3, miUArgs = NoUArgs, miURules = NoURules, miSelector = Nothing}
  + Details:
      Incompatible
MAYBE