Notice: Undefined variable: neverHappens in /mnt/www/fawu/vendor/phpunit/php-code-coverage/tests/_files/source_without_ignore.php on line 2