Tests: more tests for dumping SMTLIB for quantified formulas.#573

kfriedberger wants to merge 1 commit intomastersosy-lab/java-smt:masterfrom

450-smtlib2-output-consistency-for-quantified-termssosy-lab/java-smt:450-smtlib2-output-consistency-for-quantified-termsCopy head branch name to clipboard