MAYBE
* Step 1: Failure MAYBE
  + Considered Problem:
      - Strict TRS:
          add0(C(x,y),y') -> add0(y,C(S(),y'))
          add0(Z(),y) -> y
          goal(xs,ys) -> mul0(xs,ys)
          isZero(C(x,y)) -> False()
          isZero(Z()) -> True()
          mul0(C(x,y),y') -> add0(mul0(y,y'),y')
          mul0(Z(),y) -> Z()
          second(C(x,y)) -> y
      - Signature:
          {add0/2,goal/2,isZero/1,mul0/2,second/1} / {C/2,False/0,S/0,True/0,Z/0}
      - Obligation:
          innermost runtime complexity wrt. defined symbols {add0,goal,isZero,mul0,second} and constructors {C,False,S
          ,True,Z}
  + Applied Processor:
      NaturalPI {shape = Mixed 3, restrict = NoRestrict, uargs = UArgs, urules = URules, selector = Nothing}
  + Details:
      Incompatible
MAYBE