@property
def oracle(self):
    'The oracle implementing a reflection about the bad state.'
    return self._oracle
The oracle implementing a reflection about the bad state.
@property
def oracle(self):
    
    return self._oracle