NO
TRS with extra variables.

No termination was proved succesfully.