Use a different way of setting definition defaults, which is detectable by PHP_CodeCoverage.