YES

# orthogonality

Consider the left-linear TRS R:

  a() -> f(c())
  c() -> c()

The left-linear and non-overlapping TRS is confluent