MAYBE

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

Strict Trs:
  { f(X) -> if(X, c(), n__f(true()))
  , f(X) -> n__f(X)
  , if(true(), X, Y) -> X
  , if(false(), X, Y) -> activate(Y)
  , activate(X) -> X
  , activate(n__f(X)) -> f(X) }
Obligation:
  innermost runtime complexity
Answer:
  MAYBE

The input cannot be shown compatible

Arrrr..