MAYBE

Problem:
 f(X) -> if(X,c(),f(true()))
 if(true(),X,Y) -> X
 if(false(),X,Y) -> Y

Proof:
 RT Transformation Processor:
  strict:
   f(X) -> if(X,c(),f(true()))
   if(true(),X,Y) -> X
   if(false(),X,Y) -> Y
  weak:
   
  Matrix Interpretation Processor:
   dimension: 1
   interpretation:
    [false] = 0,
    
    [if](x0, x1, x2) = x0 + x1 + x2 + 29,
    
    [true] = 0,
    
    [c] = 0,
    
    [f](x0) = x0
   orientation:
    f(X) = X >= X + 29 = if(X,c(),f(true()))
    
    if(true(),X,Y) = X + Y + 29 >= X = X
    
    if(false(),X,Y) = X + Y + 29 >= Y = Y
   problem:
    strict:
     f(X) -> if(X,c(),f(true()))
    weak:
     if(true(),X,Y) -> X
     if(false(),X,Y) -> Y
   Open