Add new constraint to be possible call checkConsistency recursively