[bv-dev] Method validation: cross-parameter constraints