phpspec to phpunit