tpdb-2.7.1: test/rel12.srs

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