Use PHPUnit for tests with Prophecy for mock