MAYBE
* Step 1: Failure MAYBE
  + Considered Problem:
      - Strict TRS:
          choose(x,cons(v,w),y,0()) -> cons(x,cons(v,w))
          choose(x,cons(v,w),0(),s(z)) -> cons(v,insert(x,w))
          choose(x,cons(v,w),s(y),s(z)) -> choose(x,cons(v,w),y,z)
          insert(x,cons(v,w)) -> choose(x,cons(v,w),x,v)
          insert(x,nil()) -> cons(x,nil())
          sort(cons(x,y)) -> insert(x,sort(y))
          sort(nil()) -> nil()
      - Signature:
          {choose/4,insert/2,sort/1} / {0/0,cons/2,nil/0,s/1}
      - Obligation:
          innermost runtime complexity wrt. defined symbols {choose,insert,sort} and constructors {0,cons,nil,s}
  + Applied Processor:
      MI {miKind = Automaton Nothing, miDimension = 3, miUArgs = NoUArgs, miURules = NoURules, miSelector = Nothing}
  + Details:
      Incompatible
MAYBE