The Witness Set Constraint - Retraction Notice | RetractBase