PhpUnit test case integrating Prophecy