Retracted: The Witness Set Constraint. (27th July 2016)