Add boolean assertions