Rho-dependent and Rho-independent termination