Inherits Exception < Reference < Object
Raised when a declarative invariant predicate returns false during seed replay