MAYBE
* Step 1: Failure MAYBE
  + Considered Problem:
      - Strict TRS:
          main(x5,x12) -> map#2(plus_x(x12),x5)
          map#2(plus_x(x2),Nil()) -> Nil()
          map#2(plus_x(x6),Cons(x4,x2)) -> Cons(plus_x#1(x6,x4),map#2(plus_x(x6),x2))
          plus_x#1(0(),x8) -> x8
          plus_x#1(S(x12),x14) -> S(plus_x#1(x12,x14))
      - Signature:
          {main/2,map#2/2,plus_x#1/2} / {0/0,Cons/2,Nil/0,S/1,plus_x/1}
      - Obligation:
          innermost runtime complexity wrt. defined symbols {main,map#2,plus_x#1} and constructors {0,Cons,Nil,S
          ,plus_x}
  + Applied Processor:
      Ara {heuristics_ = NoHeuristics, minDegree = 1, maxDegree = 3, araTimeout = 60, araFindStrictRules = Nothing, araSmtSolver = MiniSMT}
  + Details:
      The input can not be schown compatible.
MAYBE