You should take a look at https://github.com/phpspec/prophecy/pull/79#issuecomment-32154471