Efficient instrumentation for code coverage testing
Whole program paths