fix JUnit test: using an even smaller stack size should avoid a memory problem with Princess.
fix JUnit test: using an even smaller stack size should avoid a memory problem with Princess.

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