remove redundant assumptions to disable Boolector in JUnit tests.
remove redundant assumptions to disable Boolector in JUnit tests.

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