Make reducePaths() public (by moving it to PHP_CodeCoverage_Util and making it static)