Some of our tests are particularily significant in the sense that they test specific model features. Those tests have been discussed and kinded, i.e. given an allowed or forbidden kind that is recorded as a reference and checked during regression testing.
We here check that no model does not produce kinds that differ from the reference ones.