Adds a check verifying that a boolean expression is false.