Improve error message when using GetVerificationTasks (#1027)

Author: keyboardDrummer

Source/Core/Token.cs

@@ -101,5 +101,10 @@ public int CompareTo(IToken other) {
       }
       return col.CompareTo(other.col);
     }
+
+    public override string ToString()
+    {
+      return $"({line}, {col})";
+    }
   }
 }

Source/Directory.Build.props

@@ -2,7 +2,7 @@
 
   <!-- Target framework and package configuration -->
   <PropertyGroup>
-    <Version>3.5.3</Version>
+    <Version>3.5.4</Version>
     <TargetFramework>net8.0</TargetFramework>
     <GeneratePackageOnBuild>false</GeneratePackageOnBuild>
     <Authors>Boogie</Authors>

Source/ExecutionEngine/ExecutionEngine.cs

@@ -768,6 +768,7 @@ public async Task<IReadOnlyList<IVerificationTask>> GetVerificationTasks(Program
     {
       var sink = new CollectingErrorSink();
       var resolutionErrors = program.Resolve(Options, sink);
+      
       string GetErrorsString() => string.Join("\n", sink.Errors.Select(t => $"{t.Token}: {t.Message}"));
       if (resolutionErrors > 0)
       {