Termination modulo equations by abstract commutation with an application to iteration door W. Fokkink