Symfony extension for phpspec