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