function it_extends_DoubleException() { $this->shouldBeAnInstanceOf('Prophecy\\Exception\\Prophecy\\ObjectProphecyException'); }