Add new model testcases + remove boolector filters+changes for boolector
Add new model testcases + remove boolector filters+changes for boolector
sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt