Example to illustrate a bug in https://github.com/sebastianbergmann/php-code-coverage/issues/145