[P1421R0](https://wg21.link/p1421r0) Assigning semantics to different Contract Checking Statements (Andrzej Krzemienski)