NO
Input TRS:
      1: U12(tt()) -> s(length(L))
      2: zeros() -> cons(0())
      3: U11(tt()) -> U12(tt())
      4: length(nil()) -> 0()
      5: length(cons(N)) -> U11(tt())
Extra variable in rule 1.