function it_is_a_prophecy_exception() { $this->shouldBeAnInstanceOf('Prophecy\\Exception\\Exception'); $this->shouldBeAnInstanceOf('Prophecy\\Exception\\Doubler\\DoublerException'); }