[P3376R0](https://wg21.link/p3376r0) Contract assertions versus static analysis and 'safety' (Andrzej Krzemieński)