this.disjunctive = disjunctive; this.constraints = new HashSet(); this.negated = false;
this(disjunctive, false);
    public ConstraintSet(boolean disjunctive) {        this.disjunctive = disjunctive;        this.constraints = new HashSet();        this.negated = false;    }