Sentence:  This pseudocode is unambiguous if we know that the previous state of all the boxes is "<WSD>unchecked</WSD>." Because we can't be sure of that in buggy code, a better model might be: ... 
Meaning of the word marked with <WSD> tags:  Of a check box: not checked (ticked or enabled).