Use the partial model for formula evaluation in Princess#528

daniel-raffler wants to merge 5 commits intomastersosy-lab/java-smt:masterfrom

princessPartialModelsosy-lab/java-smt:princessPartialModelCopy head branch name to clipboard