Method to insert all constraints for setdiff