Avoid global path conditions in Kani's library #5273

Job	Run time
perf	45m 10s
write-json-symtab-regression	26m 37s
regression (macos-11)	19m 53s
regression (ubuntu-20.04)	19m 39s
regression (ubuntu-22.04)	19m 56s
benchcomp-tests	5m 30s
bookrunner	28m 36s
releasebundle-macos (macos-11)	9m 37s
releasebundle-ubuntu	36m 55s
	3h 31m 53s

Provide feedback