(VAR X) (RULES f(n__a,X,X) -> f(activate(X),b,n__b) b -> a a -> n__a b -> n__b activate(n__a) -> a activate(n__b) -> b activate(X) -> X )