Switched to the official PHPUnit Prophecy integration