Adds a check verifying that a boolean expression is true.