I think we are covered for the BV constraints but we are not for the HV constraints as we only test the validators (typically, we need to protect ourselves from mistakenly removing lines from ConstraintHelper).

It would be nice to add a small test for each HV annotation.