MODULAR TERMINATION OF R-CONSISTENT AND LEFT-LINEAR TERM REWRITING-SYSTEMS