YES
(VAR x y)
(RULES
g(x,y) -> f14(y)
f4(x) -> f14(x)
f8(x) -> f14(x)
f9(x) -> f14(x)
f13(x) -> f14(x)
f12(x) -> f14(x)
f11(x) -> f14(x)
f3(x) -> f14(x)
f5(x) -> f14(x)
f6(x) -> f14(x)
f7(x) -> f14(x)
f10(x) -> f14(x)
f1(x) -> f14(x)
f14(j(x)) -> f14(f14(x))
f2(x) -> f14(x)
f14(f14(f14(f14(x)))) -> f14(x)
)