YES(?,O(n^1))
TRS:
 {a b x -> a c b x}
 DUP: We consider a non-duplicating system.
  Trs:
   {a b x -> a c b x}
  BOUND:
   Bound: match(-raise)-bounded by 1
   Automaton:
    {
     b_1(2) -> 3*
     b_0(1) -> 1*
     c_1(3) -> 4*
     c_0(1) -> 1*
     a_1(4) -> 5*
     a_0(1) -> 1*
        5 -> 1*
        1 -> 2*
    }
   Strict:
    {}
   Qed