Avoid updating irrelevant symbols when handling quantifiers#4268

tautschnig merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

AlexanderPortland:better-inliningAlexanderPortland/kani:better-inliningCopy head branch name to clipboard