Adds a check verifying that a boolean expression is
false
.