Efficient software graph path counting
If you haven’t already, install the Path Counter plugin into Eclipse.
TODO
