Add panics_if precondition to express panic-freedom#4230
Draft
tautschnig wants to merge 1 commit intomodel-checking:mainfrom
Draft
Add panics_if precondition to express panic-freedom#4230tautschnig wants to merge 1 commit intomodel-checking:mainfrom
panics_if precondition to express panic-freedom#4230tautschnig wants to merge 1 commit intomodel-checking:mainfrom
