finding branch coverage with respect to each function call