MAYBE

Problem:
 f(x) -> s(x)
 f(s(s(x))) -> s(f(f(x)))

Proof:
 Complexity Transformation Processor:
  strict:
   f(x) -> s(x)
   f(s(s(x))) -> s(f(f(x)))
  weak:
   
  Matrix Interpretation Processor:
   dimension: 1
   max_matrix:
    1
    interpretation:
     [s](x0) = x0 + 1,
     
     [f](x0) = x0
    orientation:
     f(x) = x >= x + 1 = s(x)
     
     f(s(s(x))) = x + 2 >= x + 1 = s(f(f(x)))
    problem:
     strict:
      f(x) -> s(x)
     weak:
      f(s(s(x))) -> s(f(f(x)))
    Open