YES(?,O(n^1))
TRS:
 {  f x -> g x,
  f a() -> f b(),
  g b() -> g a()}
 DUP: We consider a non-duplicating system.
  Trs:
   {  f x -> g x,
    f a() -> f b(),
    g b() -> g a()}
  BOUND:
   Bound: match(-raise)-bounded by 2
   Automaton:
    {
        a_2() -> 9*
        a_1() -> 6*
        a_0() -> 1*
        b_1() -> 4*
        b_0() -> 1*
       g_2(7) -> 8*
       g_1(2) -> 3*
       g_0(1) -> 1*
       f_1(4) -> 5*
     f_0(1) -> 1*
          9 -> 7*
          8 -> 5*
          6 -> 2*
          5 -> 1*
          4 -> 7*
          3 -> 1*
          1 -> 2*
    }
   Strict:
    {}
   Qed