(self, prop)
return self.solve(And(self.frames[-1], Not(prop)))
Extracts a reachable state that intersects the negation
        of the property and the last current frame
Extracts a reachable state that intersects the negation
        of the property and the last current frame
Extracts a reachable state that intersects the negation of the property and the last current frame
def get_bad_state(self, prop):
        """Extracts a reachable state that intersects the negation
        of the property and the last current frame"""
        return self.solve(And(self.frames[-1], Not(prop)))
def get_bad_state ( self , prop ) : return self . solve ( And ( self . frames [ - 1 ] , Not ( prop ) ) )