(RULES a a -> a b c c , c a -> , c b -> a a)