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