Boogie build failed

1 files changed, 281 insertions, 269 deletions

diff --git a/_admin/Boogie/aste/summary.log b/_admin/Boogie/aste/summary.log
index a74bf079..72188a75 100644
--- a/_admin/Boogie/aste/summary.log
+++ b/_admin/Boogie/aste/summary.log
@@ -1,114 +1,123 @@
-# Aste started: 2012-10-04 07:00:01

+# Aste started: 2012-10-05 07:00:01

 # Host id: Boogiebox

 # Configuration: boogie.cfg

 # Task: aste.tasks.boogie.FullBuild

-# [2012-10-04 07:01:18] SpecSharp revision: 394202217a94

-# [2012-10-04 07:01:18] SscBoogie revision: 394202217a94

-# [2012-10-04 07:02:23] Boogie revision: aa44b4ba2f56

-[2012-10-04 07:03:47] C:\Program Files (x86)\Microsoft Visual Studio 10.0\Common7\IDE\devenv.com SpecSharp.sln /Project "Checkin Tests" /Build

+# [2012-10-05 07:01:53] SpecSharp revision: 394202217a94

+# [2012-10-05 07:01:53] SscBoogie revision: 394202217a94

+# [2012-10-05 07:03:28] Boogie revision: 68e029f39416

+[2012-10-05 07:04:36] C:\Program Files (x86)\Microsoft Visual Studio 10.0\Common7\IDE\devenv.com SpecSharp.sln /Project "Checkin Tests" /Build

 

     1>corflags : warning CF011: The specified file is strong name signed.  Using /Force will invalidate the signature of this image and will require the assembly to be resigned.


     warning CF011: The specified file is strong name signed.  Using /Force will invalidate the signature of this image and will require the assembly to be resigned.


-[2012-10-04 07:04:11] [Error] C:\Program Files (x86)\Microsoft Visual Studio 10.0\Common7\IDE\devenv.com Dafny.sln /Rebuild Checked

+[2012-10-05 07:04:58] [Error] C:\Program Files (x86)\Microsoft Visual Studio 10.0\Common7\IDE\devenv.com Dafny.sln /Rebuild Checked

 

-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(12,17): error CS0234: The type or namespace name 'Boogie' does not exist in the namespace 'Microsoft' (are you missing an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(13,17): error CS0234: The type or namespace name 'Boogie' does not exist in the namespace 'Microsoft' (are you missing an assembly reference?)


     D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(11,17): error CS0234: The type or namespace name 'Boogie' does not exist in the namespace 'Microsoft' (are you missing an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2891,40): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3030,40): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


     D:\Temp\aste\Boogie\Source\Dafny\cce.cs(5,17): error CS0234: The type or namespace name 'Boogie' does not exist in the namespace 'Microsoft' (are you missing an assembly reference?)


     D:\Temp\aste\Boogie\Source\Dafny\DafnyOptions.cs(6,23): error CS0234: The type or namespace name 'Boogie' does not exist in the namespace 'Microsoft' (are you missing an assembly reference?)


     D:\Temp\aste\Boogie\Source\Dafny\Scanner.cs(8,17): error CS0234: The type or namespace name 'Boogie' does not exist in the namespace 'Microsoft' (are you missing an assembly reference?)


     D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(3,17): error CS0234: The type or namespace name 'Boogie' does not exist in the namespace 'Microsoft' (are you missing an assembly reference?)


     D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(11,17): error CS0234: The type or namespace name 'Boogie' does not exist in the namespace 'Microsoft' (are you missing an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(10,23): error CS0234: The type or namespace name 'Boogie' does not exist in the namespace 'Microsoft' (are you missing an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(85,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(93,36): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(100,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(108,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(115,33): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(123,39): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3421,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3428,32): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3594,30): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3598,35): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3598,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5945,82): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6020,42): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6649,14): error CS0246: The type or namespace name 'ExprSeq' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6666,46): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6681,36): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6691,36): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6703,36): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6716,38): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6725,38): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6755,39): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6763,43): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6763,55): error CS0246: The type or namespace name 'Expr' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6763,66): error CS0246: The type or namespace name 'Expr' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6763,74): error CS0246: The type or namespace name 'Expr' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6780,45): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6780,57): error CS0246: The type or namespace name 'Expr' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6780,68): error CS0246: The type or namespace name 'Expr' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6780,76): error CS0246: The type or namespace name 'Expr' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6780,84): error CS0246: The type or namespace name 'Expr' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6802,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6846,36): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6903,33): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6911,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6926,37): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6936,35): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6967,37): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(1041,25): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(1068,41): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(1089,46): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(1097,41): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(1343,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(1350,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(1356,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(1383,27): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(1514,30): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(1703,95): error CS0246: The type or namespace name 'StmtListBuilder' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(1727,29): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(1727,112): error CS0246: The type or namespace name 'StmtListBuilder' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(2187,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(2714,47): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(2835,34): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(2879,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3277,52): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3277,20): error CS0246: The type or namespace name 'QKeyValue' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3282,52): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3282,76): error CS0246: The type or namespace name 'QKeyValue' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3282,20): error CS0246: The type or namespace name 'QKeyValue' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3448,62): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3475,34): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3505,51): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3665,25): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3678,27): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(4366,25): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(4760,54): error CS0246: The type or namespace name 'VariableSeq' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(4855,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(4970,40): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(4984,36): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(4997,36): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5030,88): error CS0246: The type or namespace name 'StmtListBuilder' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5083,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5140,34): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5224,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5283,29): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5421,34): error CS0246: The type or namespace name 'Expr' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5436,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5535,93): error CS0246: The type or namespace name 'StmtListBuilder' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5751,40): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5850,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5850,36): error CS0246: The type or namespace name 'Expr' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5850,56): error CS0246: The type or namespace name 'StmtListBuilder' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5862,33): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5862,45): error CS0246: The type or namespace name 'Expr' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5873,34): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7064,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7324,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7334,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7349,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(8160,19): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(11,23): error CS0234: The type or namespace name 'Boogie' does not exist in the namespace 'Microsoft' (are you missing an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(86,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(94,36): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(101,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(109,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(116,33): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(124,39): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3768,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3775,32): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3943,30): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3947,35): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3947,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6462,82): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6543,42): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7172,14): error CS0246: The type or namespace name 'ExprSeq' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7189,46): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7204,36): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7214,36): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7226,36): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7239,38): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7248,38): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7278,39): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7286,43): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7286,55): error CS0246: The type or namespace name 'Expr' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7286,66): error CS0246: The type or namespace name 'Expr' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7286,74): error CS0246: The type or namespace name 'Expr' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7303,45): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7303,57): error CS0246: The type or namespace name 'Expr' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7303,68): error CS0246: The type or namespace name 'Expr' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7303,76): error CS0246: The type or namespace name 'Expr' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7303,84): error CS0246: The type or namespace name 'Expr' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7325,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7369,36): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7426,33): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7434,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7449,37): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7459,35): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7490,37): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(784,51): error CS0246: The type or namespace name 'Procedure' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(1333,25): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(1357,5): error CS0246: The type or namespace name 'LocalVariable' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(1361,41): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(1382,46): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(1390,41): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(1654,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(1661,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(1667,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(1694,27): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(1825,30): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(2014,95): error CS0246: The type or namespace name 'StmtListBuilder' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(2038,29): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(2038,112): error CS0246: The type or namespace name 'StmtListBuilder' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(2498,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3027,47): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3167,34): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3211,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3613,52): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3613,20): error CS0246: The type or namespace name 'QKeyValue' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3618,52): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3618,76): error CS0246: The type or namespace name 'QKeyValue' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3618,20): error CS0246: The type or namespace name 'QKeyValue' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3727,43): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3731,49): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3795,62): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3822,34): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(3852,51): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(4014,25): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(4027,27): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(4517,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(4517,52): error CS0246: The type or namespace name 'StmtListBuilder' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(4804,25): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(4922,33): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5229,54): error CS0246: The type or namespace name 'VariableSeq' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5339,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5455,40): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5469,36): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5482,36): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5515,88): error CS0246: The type or namespace name 'StmtListBuilder' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5568,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5625,34): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5709,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5772,29): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5910,34): error CS0246: The type or namespace name 'Expr' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(5925,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6024,93): error CS0246: The type or namespace name 'StmtListBuilder' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6241,40): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6350,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6350,36): error CS0246: The type or namespace name 'Expr' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6350,56): error CS0246: The type or namespace name 'StmtListBuilder' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6362,33): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6362,45): error CS0246: The type or namespace name 'Expr' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6373,32): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6373,81): error CS0246: The type or namespace name 'StmtListBuilder' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(6390,34): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7587,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7847,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7857,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(7872,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Translator.cs(8683,19): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


     D:\Temp\aste\Boogie\Source\Dafny\Rewriter.cs(26,31): error CS0246: The type or namespace name 'Boogie' could not be found (are you missing a using directive or an assembly reference?)


     D:\Temp\aste\Boogie\Source\Dafny\Rewriter.cs(270,28): error CS0246: The type or namespace name 'Boogie' could not be found (are you missing a using directive or an assembly reference?)


     D:\Temp\aste\Boogie\Source\Dafny\Rewriter.cs(335,42): error CS0246: The type or namespace name 'Boogie' could not be found (are you missing a using directive or an assembly reference?)


@@ -119,49 +128,49 @@
     D:\Temp\aste\Boogie\Source\Dafny\Scanner.cs(232,2): error CS0246: The type or namespace name 'Token' could not be found (are you missing a using directive or an assembly reference?)


     D:\Temp\aste\Boogie\Source\Dafny\Scanner.cs(241,2): error CS0246: The type or namespace name 'Token' could not be found (are you missing a using directive or an assembly reference?)


     D:\Temp\aste\Boogie\Source\Dafny\Scanner.cs(242,2): error CS0246: The type or namespace name 'Token' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Scanner.cs(555,2): error CS0246: The type or namespace name 'Token' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Scanner.cs(789,9): error CS0246: The type or namespace name 'Token' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Scanner.cs(800,9): error CS0246: The type or namespace name 'Token' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Scanner.cs(558,2): error CS0246: The type or namespace name 'Token' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Scanner.cs(792,9): error CS0246: The type or namespace name 'Token' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Scanner.cs(803,9): error CS0246: The type or namespace name 'Token' could not be found (are you missing a using directive or an assembly reference?)


     D:\Temp\aste\Boogie\Source\Dafny\Compiler.cs(11,23): error CS0234: The type or namespace name 'Boogie' does not exist in the namespace 'Microsoft' (are you missing an assembly reference?)


     D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(33,9): error CS0246: The type or namespace name 'Token' could not be found (are you missing a using directive or an assembly reference?)


     D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(34,9): error CS0246: The type or namespace name 'Token' could not be found (are you missing a using directive or an assembly reference?)


     D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(143,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(449,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(459,30): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(470,17): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(757,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(764,46): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(775,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(818,29): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(847,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(919,90): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(989,47): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(989,69): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(1065,25): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(1147,47): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(1147,69): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(1988,18): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(2258,17): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(2351,17): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(2430,17): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(2666,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(2679,28): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(3237,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(545,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(555,30): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(566,17): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(853,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(860,46): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(871,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(914,29): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(943,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(1015,90): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(1116,47): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(1116,69): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(1246,25): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(1328,47): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(1328,69): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(2180,18): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(2450,17): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(2543,17): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(2622,17): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(2858,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(2871,28): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(3446,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


     D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(22,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


     D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(53,25): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(306,29): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(314,35): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(411,59): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(695,28): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(904,52): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(1586,34): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(2350,29): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(3790,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(3848,30): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(3966,47): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(3981,51): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(5232,45): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(5266,70): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(307,29): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(315,35): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(412,59): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(828,28): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(1037,52): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(1766,34): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(2769,29): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(4215,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(4273,30): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(4391,47): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(4406,51): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(5668,45): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\Resolver.cs(5702,70): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


     D:\Temp\aste\Boogie\Source\Dafny\DafnyMain.cs(10,23): error CS0234: The type or namespace name 'Boogie' does not exist in the namespace 'Microsoft' (are you missing an assembly reference?)


     D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(62,38): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


     D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(151,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


@@ -196,139 +205,142 @@
     D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1088,28): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


     D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1102,27): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


     D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1131,25): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1154,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1196,18): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1203,18): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1218,25): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1238,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1268,30): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1346,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1433,30): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1454,19): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1483,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1497,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1508,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1531,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1532,51): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1568,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1569,52): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1582,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1583,52): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1616,19): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1650,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1673,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1697,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1703,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1752,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1757,18): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1773,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1780,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1794,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1802,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1816,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1843,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1849,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1860,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1880,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1900,28): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1954,20): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1960,20): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1967,20): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2020,20): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2054,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2064,36): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2082,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2098,36): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2109,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2114,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2114,83): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2144,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2154,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2175,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2229,20): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2318,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2347,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2368,19): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2396,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2405,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2423,28): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2458,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2498,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2531,29): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2547,32): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2615,25): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2688,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2785,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2819,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2851,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2853,30): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2867,30): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2867,47): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2893,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2894,28): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2930,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2930,38): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2937,12): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2938,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2945,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2988,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3009,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3036,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3042,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3050,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3057,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3080,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3097,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3113,29): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3129,27): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3145,36): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3156,30): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3168,27): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3176,32): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3184,27): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3192,27): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3210,28): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3235,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3266,28): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3291,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3314,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3330,29): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3330,73): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3368,20): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3391,32): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3410,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3436,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3680,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3703,20): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3725,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3727,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3732,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3732,82): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3812,30): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3833,27): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3843,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3861,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3882,29): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3894,29): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3906,25): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3916,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3936,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3947,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3968,20): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4000,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4021,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4032,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4050,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4161,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4176,28): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4193,37): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4208,29): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4219,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4247,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4259,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4260,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4262,36): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


-    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4262,52): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1185,25): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1246,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1299,18): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1306,18): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1323,25): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1344,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1374,30): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1452,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1539,30): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1560,19): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1589,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1603,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1614,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1637,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1638,51): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1674,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1675,52): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1688,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1689,52): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1722,19): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1771,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1794,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1818,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1824,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1873,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1878,18): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1894,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1901,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1915,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1923,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1937,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1964,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1970,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(1982,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2003,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2011,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2019,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2039,28): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2093,20): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2099,20): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2106,20): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2159,20): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2193,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2203,36): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2221,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2237,36): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2248,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2253,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2253,83): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2283,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2293,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2314,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2368,20): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2457,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2486,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2507,19): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2535,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2544,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2562,28): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2597,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2637,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2670,29): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2686,32): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2754,25): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2827,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2924,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2958,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2990,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(2992,30): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3006,30): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3006,47): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3032,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3033,28): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3069,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3069,38): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3076,12): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3077,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3084,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3127,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3148,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3175,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3181,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3189,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3196,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3219,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3236,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3252,29): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3268,27): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3284,36): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3295,30): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3307,27): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3315,32): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3323,27): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3331,27): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3349,28): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3374,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3405,28): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3430,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3453,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3469,29): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3469,73): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3507,20): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3530,32): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3549,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3575,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3819,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3842,20): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3864,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3866,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3871,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3871,82): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3951,30): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3972,27): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(3982,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4000,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4021,29): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4033,29): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4045,25): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4055,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4075,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4086,23): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4107,20): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4139,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4160,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4171,22): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4189,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4300,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4315,28): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4332,37): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4347,29): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4358,31): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4386,24): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4398,26): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4399,21): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4401,36): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


+    D:\Temp\aste\Boogie\Source\Dafny\DafnyAst.cs(4401,52): error CS0246: The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)


     C:\Windows\Microsoft.NET\Framework\v4.0.30319\Microsoft.Common.targets(1360,9): warning MSB3245: Could not resolve this reference. Could not locate the assembly "Basetypes". Check to make sure the assembly exists on disk. If this reference is required by your code, you may get compilation errors.


     C:\Windows\Microsoft.NET\Framework\v4.0.30319\Microsoft.Common.targets(1360,9): warning MSB3245: Could not resolve this reference. Could not locate the assembly "Core". Check to make sure the assembly exists on disk. If this reference is required by your code, you may get compilation errors.


     C:\Windows\Microsoft.NET\Framework\v4.0.30319\Microsoft.Common.targets(1360,9): warning MSB3245: Could not resolve this reference. Could not locate the assembly "ParserHelper". Check to make sure the assembly exists on disk. If this reference is required by your code, you may get compilation errors.


@@ -344,6 +356,6 @@
     warning MSB3245: Could not resolve this reference. Could not locate the assembly "Core". Check to make sure the assembly exists on disk. If this reference is required by your code, you may get compilation errors.


     warning MSB3245: Could not resolve this reference. Could not locate the assembly "ParserHelper". Check to make sure the assembly exists on disk. If this reference is required by your code, you may get compilation errors.


     warning MSB3245: Could not resolve this reference. Could not locate the assembly "VCGeneration". Check to make sure the assembly exists on disk. If this reference is required by your code, you may get compilation errors.


-    318 error

+    330 error

     1 error

     2 failed