*** Coverage report for program countAlg ***
Visited: 4/4 operations, 2/2 predicates, 6/10 paths in BDTs

Unvisited paths in BDTs:
  init (hasNext 1 - newChar 0)
  init (hasNext 0)
  new (hasNext 1 - newChar 1)
  new (hasNext 0)

Locations of operations:
  init: trace.csv:1
  same: trace.csv:3, trace.csv:4, trace.csv:6, trace.csv:8
  new: trace.csv:2, trace.csv:5, trace.csv:7
  final: trace.csv:9

Locations of predicates:
  hasNext: trace.csv:1, trace.csv:2, trace.csv:3, trace.csv:4, trace.csv:5, trace.csv:6, trace.csv:7, trace.csv:8
  newChar: trace.csv:1, trace.csv:2, trace.csv:3, trace.csv:4, trace.csv:5, trace.csv:6, trace.csv:7

Locations of paths in BDTs:
  init (hasNext 1 - newChar 1): trace.csv:1
  same (hasNext 1 - newChar 1): trace.csv:4, trace.csv:6
  same (hasNext 1 - newChar 0): trace.csv:3
  same (hasNext 0): trace.csv:8
  new (hasNext 1 - newChar 0): trace.csv:2, trace.csv:5, trace.csv:7