issue#253: proposal

In order to address issue #253, please find a proposal of correction.
Shouldn't watchLit1 be added to the kernel, not otherWL?
If the code reaches here, then it must also have reached line 178, where watchLit1 is assigned to a number that exists in the set's envelope and the integer's domain.