MAYBE

Problem:
 +(1(),x) -> +(+(0(),1()),x)
 +(0(),x) -> x

Proof:
 RT Transformation Processor:
  strict:
   +(1(),x) -> +(+(0(),1()),x)
   +(0(),x) -> x
  weak:
   
  Matrix Interpretation Processor:
   dimension: 1
   interpretation:
    [0] = 15,
    
    [+](x0, x1) = x0 + x1 + 14,
    
    [1] = 20
   orientation:
    +(1(),x) = x + 34 >= x + 63 = +(+(0(),1()),x)
    
    +(0(),x) = x + 29 >= x = x
   problem:
    strict:
     +(1(),x) -> +(+(0(),1()),x)
    weak:
     +(0(),x) -> x
   Open