Dont use array_unique but use array_flip with array_keys() when merging covered lines
Dont use array_unique but use array_flip with array_keys() when merging covered lines

duncan3dc/phpunit,Firehed/phpunit,sebastianbergmann/phpunit