Princess: Remove extra parentheses

Author: daniel-raffler

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

@@ -387,7 +387,7 @@ public <R> R visit(FormulaVisitor<R> visitor, final Formula f, final IExpression
       IBoolLit literal = (IBoolLit) input;
       return visitor.visitConstant(f, literal.value());
 
-    } else if (input instanceof IFunApp && (isValue((IFunApp) input))) {
+    } else if (input instanceof IFunApp && isValue((IFunApp) input)) {
       return visitor.visitConstant(f, convertValue(input));
 
     } else if (input instanceof IQuantified) {