fix JUnit test by using a different fail-method.
fix JUnit test by using a different fail-method.

Thanks to CheckStyle.

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