HyperCounter
Bpath Counter