TRS:
 {   f(x, x) -> a(),
  f(g(x), y) -> f(x, y)}
 LMPO:
  Quasi-Precedence:
  empty
  
Normal:
   pi(f) = [1,2]
  
Safe:
   
  
Predicative System:
   {    f(x,x;) -> a(),
    f(g(x;),y;) -> f(x,y;)}
  

   
  

  Qed