(VAR ) (STRATEGY CONTEXTSENSITIVE (f 1) (a) (c) (g 1) ) (RULES f(f(a)) -> c(f(g(f(a)))) )