Pull assumptions out of quantifiers if they don't refer to quantified variable#760

marcoeilers merged 7 commits into

masterviperproject/silicon:masterfrom

meilers_pull_put_assumptionsviperproject/silicon:meilers_pull_put_assumptionsCopy head branch name to clipboard