You are running into HV-933. We will fix that for the next version of HV. It is a regression introduced by a change we made to the semantics of the different mod checks constraints.