TRS:
 {f(g(X)) -> f(X)}
 POP*:
  Precedence:
  empty
  
Normal:
   pi(f) = [1]
  
Safe:
   pi(g) = [1]
  
Predicative System:
   {f(g(;X);) -> f(X;)}
  Qed