updating test ConstraintTest tc009