Use phpspec/prophecy-phpunit