(VAR x y)
(RULES
 f(a(x),y) -> g(x,y)
 g(b,y) -> f(y,y)
 a(b) -> c
)

(STRATEGY INNERMOST)