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