BTW, this can be simplified to:
```
        { assertion = (cfg.stable -> !cfg.testing) ||
                      (cfg.testing -> !cfg.stable);
```
But you can leave it your way if you prefer, perhaps it's easier to understand.