Make core-model-test happier with the ignored domain registry