Is the system of Cohen and Watson for arithmetic terminating?

The source page states the original problem together with its recorded qualifications and progress updates as follows.

An interesting system for doing arithmetic by rewriting was presented in [D. Cohen, 1993]. Unfortunately, its termination has not been proved.

Recorded progress.

Termination of a related system is proved in [D. Cohen, 1993].