Adds a check verifying that a Boolean expression is true.