(VAR X Y) (STRATEGY CONTEXTSENSITIVE (f) (g 1) (b) (c) ) (RULES f(X,g(X),Y) -> f(Y,Y,Y) g(b) -> c b -> c )