TIMEOUT
MAYBE
Trs:
 {b b a -> a b b,
    a a -> b b}
 Open