Code for Stratified Constructive Disjunction and Negation in Constraint Programming