MAYBE 'Pop* (timeout of 60.0 seconds)' -------------------------------- Answer: MAYBE Input Problem: innermost runtime-complexity with respect to Rules: {+(g(x), g(y)) -> g(+(g(a()), +(x, y)))} Proof Output: The input cannot be shown compatible