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