resolving an issue during instrumentation of branch coverage