Fatal error: Class 'PhpSpec\ObjectBehavior' not found in C:\xampp\htdocs\vms\vendor\phpspec\prophecy\spec\Prophecy\Doubler\ClassPatch\HhvmExceptionPatchSpec.php on line 11