Ensuring the quasi-termination of needed narrowing computations