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