Make exception thrown by CVC5 in fromIeeeBitvectorImpl() a IllegalArgumentException, as it fits better

Author: BaierD

src/org/sosy_lab/java_smt/solvers/cvc5/CVC5FloatingPointFormulaManager.java

@@ -420,7 +420,7 @@ protected Term fromIeeeBitvectorImpl(Term pBitvector, FloatingPointType pTargetT
       // This seems to only be thrown for wrong exponent and mantissa sizes (e.g. negative
       // numbers, size not equal to BV size etc.). We check for this beforehand, so this should
       // not be thrown.
-      throw new RuntimeException(cvc5ApiException);
+      throw new IllegalArgumentException(cvc5ApiException);
     }
   }