Update Error Message

Author: rcosta358

liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/SMTUnknownError.java

@@ -9,7 +9,7 @@ public class SMTUnknownError extends LJError {
     private SourcePosition declarationPosition;
 
     public SMTUnknownError(String reason) {
-        super("SMT Unknown Error", "The SMT solver could not prove refinement", null, null);
+        super("SMT Unknown Error", "Could not prove refinement", null, null);
         String tacticFailure = "smt tactic failed to show goal to be sat/unsat ";
         if (reason.startsWith(tacticFailure)) {
             reason = reason.substring(tacticFailure.length()).replace("(", "").replace(")", "");