safety and assert checks for bConstraintType