Start implementation of branch coverage