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