Extending PHP_CodeCoverage