MAYBE We are left with following problem, upon which TcT provides the certificate MAYBE. Strict Trs: { f(X) -> if(X, c(), f(true())) , if(true(), X, Y) -> X , if(false(), X, Y) -> Y } Obligation: innermost runtime complexity Answer: MAYBE The input cannot be shown compatible Arrrr..