MAYBE * Step 1: Failure MAYBE + Considered Problem: - Strict TRS: f(x) -> f(x) - Signature: {f/1} / {} - Obligation: innermost runtime complexity wrt. defined symbols {f} and constructors {} + Applied Processor: NaturalPI {shape = Mixed 3, restrict = NoRestrict, uargs = UArgs, urules = URules, selector = Nothing} + Details: Incompatible MAYBE