(RULES
b p b  -> a b a p b a,
p ->= a p a , 
a p a ->= p 
)