Adds a check verifying that a boolean expression is
true
.