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