The Witness Set Constraint. (5th March 2017)