The rewrite relation of the following TRS is considered.
The TRS violates one of the two variable conditions. Thus, it is not terminating.