already tested in CardinalityConstraintTest