Modifier

Modifier: The assertion is considered verified if it does not pass.