TIMEOUT
MAYBE
Trs:
 {f(c(), f(c(), x)) -> f(b(), f(a(), x)),
  f(a(), f(a(), x)) -> f(c(), f(b(), x)),
  f(b(), f(b(), x)) -> f(a(), f(c(), x))}
 Open