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