P4363

This paper introduces an additional evaluation semantic for C++ Contracts: **"**`static`**".** This is an additional semantic which sits along side the existing: ignore, observe, enforce, quick-enforce evaluation semantics.