Avoid global path conditions in Kani's library#2394

tautschnig wants to merge 4 commits intomodel-checking:mainmodel-checking/kani:mainfrom

tautschnig:no-assumetautschnig/kani:no-assumeCopy head branch name to clipboard