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

( COMMENT this is a test case for RFC/Matchbound implementations
          as we think that  a w  -> w w a  for  w = b a^n  b
          is RFC-matchbounded by n )