I thought this is some Hoare-logic things ported to C++, but well it's only stanzarized guard statements.