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