(from
Fissore, Olivier and Gnaedig, Isabelle and Kirchner, Hélène. 
Outermost ground termination - Extended version. Technical Report A02-R-493
2002, LORIA, Nancy, France
)

(VAR x)

(RULES
f(h(x))	-> f(i(x))
f(i(x))	-> a
i(x)	-> h(x)
)