WORST_CASE(?,O(n^1))
* Step 1: NaturalPI WORST_CASE(?,O(n^1))
    + Considered Problem:
        - Strict TRS:
            p(m,n,s(r)) -> p(m,r,n)
            p(m,0(),0()) -> m
            p(m,s(n),0()) -> p(0(),n,m)
        - Signature:
            {p/3} / {0/0,s/1}
        - Obligation:
            innermost runtime complexity wrt. defined symbols {p} and constructors {0,s}
    + Applied Processor:
        NaturalPI {shape = Linear, restrict = NoRestrict, uargs = UArgs, urules = URules, selector = Nothing}
    + Details:
        We apply a polynomial interpretation of kind constructor-based(linear):
        The following argument positions are considered usable:
          none
        
        Following symbols are considered usable:
          {p}
        TcT has computed the following interpretation:
          p(0) = 0                     
          p(p) = 1 + 8*x1 + 4*x2 + 4*x3
          p(s) = 4 + x1                
        
        Following rules are strictly oriented:
          p(m,n,s(r)) = 17 + 8*m + 4*n + 4*r
                      > 1 + 8*m + 4*n + 4*r 
                      = p(m,r,n)            
        
         p(m,0(),0()) = 1 + 8*m             
                      > m                   
                      = m                   
        
        p(m,s(n),0()) = 17 + 8*m + 4*n      
                      > 1 + 4*m + 4*n       
                      = p(0(),n,m)          
        
        
        Following rules are (at-least) weakly oriented:
        

WORST_CASE(?,O(n^1))