Fixed two bugs in PwsConstraint::pre regarding Lang::UPDATE that caused it to
never generate any new constraints. Also realised what the condition on LOCKED
was for and properly adapted it to PWS.