Prune quantifier variables#1028

keyboardDrummer wants to merge 2 commits into

boogie-org:masterboogie-org/boogie:masterfrom

keyboardDrummer:triggerPruningkeyboardDrummer/boogie:triggerPruningCopy head branch name to clipboard