MAYBE 'Pop* (timeout of 60.0 seconds)' -------------------------------- Answer: MAYBE Input Problem: innermost runtime-complexity with respect to Rules: { f(s(X)) -> f(X) , g(cons(0(), Y)) -> g(Y) , g(cons(s(X), Y)) -> s(X) , h(cons(X, Y)) -> h(g(cons(X, Y)))} Proof Output: The input cannot be shown compatible