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