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