YES Time: 0.005316 TRS: {f(g(i(a(), b(), b'()), c()), d()) -> if(e(), f(.(b(), c()), d'()), f(.(b'(), c()), d'())), f(g(h(a(), b()), c()), d()) -> if(e(), f(.(b(), g(h(a(), b()), c())), d()), f(c(), d'()))} DP: DP: {f#(g(i(a(), b(), b'()), c()), d()) -> f#(.(b(), c()), d'()), f#(g(i(a(), b(), b'()), c()), d()) -> f#(.(b'(), c()), d'()), f#(g(h(a(), b()), c()), d()) -> f#(.(b(), g(h(a(), b()), c())), d()), f#(g(h(a(), b()), c()), d()) -> f#(c(), d'())} TRS: {f(g(i(a(), b(), b'()), c()), d()) -> if(e(), f(.(b(), c()), d'()), f(.(b'(), c()), d'())), f(g(h(a(), b()), c()), d()) -> if(e(), f(.(b(), g(h(a(), b()), c())), d()), f(c(), d'()))} UR: {} EDG: {} STATUS: arrows: 1.000000 SCCS (0):