YES

TRS:

  g(x,a(),b()) -> g(b(),b(),a())

linear polynomial interpretations on N:

  g_A(x1,x2,x3) = 0
  g#_A(x1,x2,x3) = x3
  a_A = 1
  a#_A = 1
  b_A = 2
  b#_A = 0

precedence:

  g > a > b