MAYBE * Step 1: Failure MAYBE + Considered Problem: - Strict TRS: f(X) -> g(h(f(X))) - Signature: {f/1} / {g/1,h/1} - Obligation: innermost runtime complexity wrt. defined symbols {f} and constructors {g,h} + Applied Processor: Sum {left = someStrategy, right = someStrategy} + Details: None MAYBE