Added the designAssuranceLevel constraints