YES Time: 0.000500 TRS: {f(X, g X) -> f(1(), g X), g 1() -> g 0()} DP: DP: {f#(X, g X) -> f#(1(), g X), g# 1() -> g# 0()} TRS: {f(X, g X) -> f(1(), g X), g 1() -> g 0()} UR: {g 1() -> g 0()} EDG: {} STATUS: arrows: 1.000000 SCCS (0):