improving model-test: checking existing model-value also cchecks its evaluation.
improving model-test: checking existing model-value also cchecks its evaluation.

sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt