Using branch coverage as well