implémentation de wlit_propagation, fonction de propagation utilisant les watched literals