Add `panics_if` precondition to express panic-freedom#4230

tautschnig wants to merge 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

tautschnig:panic-attributetautschnig/kani:panic-attributeCopy head branch name to clipboard