Fatal error: Class 'PhpSpec\ObjectBehavior' not found in C:\NTBMWork\netterminalmanage\netterminalmanage\vendor\phpspec\prophecy\spec\Prophecy\Doubler\LazyDoubleSpec.php on line 7