added checking the disjunctive constraints as a parameter.