MAYBE

We are left with following problem, upon which TcT provides the
certificate MAYBE.

Strict Trs:
  { function(iszero(), 0(), dummy, dummy2) -> true()
  , function(iszero(), s(x), dummy, dummy2) -> false()
  , function(p(), 0(), dummy, dummy2) -> 0()
  , function(p(), s(0()), dummy, dummy2) -> 0()
  , function(p(), s(s(x)), dummy, dummy2) ->
    s(function(p(), s(x), x, x))
  , function(plus(), dummy, x, y) ->
    function(if(), function(iszero(), x, x, x), x, y)
  , function(if(), true(), x, y) -> y
  , function(if(), false(), x, y) ->
    function(plus(),
             function(third(), x, y, y),
             function(p(), x, x, y),
             s(y))
  , function(third(), x, y, z) -> z }
Obligation:
  innermost runtime complexity
Answer:
  MAYBE

The input cannot be shown compatible

Arrrr..