Branch coverage tests