function it_extends_MethodProphecyException() { $this->shouldHaveType('Prophecy\\Exception\\Prophecy\\MethodProphecyException'); }