MAYBE

We are left with following problem, upon which TcT provides the
certificate MAYBE.

Strict Trs:
  { f(a(), a()) -> f(a(), b())
  , f(a(), b()) -> f(s(a()), c())
  , f(s(X), c()) -> f(X, c())
  , f(c(), c()) -> f(a(), a()) }
Obligation:
  innermost runtime complexity
Answer:
  MAYBE

The input cannot be shown compatible

Arrrr..