Let Princess throw an IllegalArgumentException if a parsing error occurred

Author: daniel-raffler

src/org/sosy_lab/java_smt/solvers/princess/PrincessFormulaManager.java

@@ -57,7 +57,12 @@ BooleanFormula encapsulateBooleanFormula(IExpression t) {
 
   @Override
   public IExpression parseImpl(String pS) throws IllegalArgumentException {
-    List<? extends IExpression> formulas = getEnvironment().parseStringToTerms(pS, creator);
+    List<? extends IExpression> formulas;
+    try {
+      formulas = getEnvironment().parseStringToTerms(pS, creator);
+    } catch (Throwable pThrowable) {
+      throw new IllegalArgumentException(pThrowable);
+    }
     Preconditions.checkState(
         formulas.size() == 1,
         "parsing expects exactly one asserted term, but got %s terms",