Updated constraints "disjoint with"

Some constraints were missing. The set of constraints should be complete
by now.