Fatal error: Uncaught Error: Class "PhpSpec\ObjectBehavior" not found in C:\laragon\www\LOTERIA\vendor\phpspec\prophecy\spec\Prophecy\Doubler\ClassPatch\ProphecySubjectPatchSpec.php:10 Stack trace: #0 {main} thrown in C:\laragon\www\LOTERIA\vendor\phpspec\prophecy\spec\Prophecy\Doubler\ClassPatch\ProphecySubjectPatchSpec.php on line 10