Did more refactoring and addressed several todos.

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs
index 11558750..b5f4f87b 100644
--- a/Source/ExecutionEngine/ExecutionEngine.cs
+++ b/Source/ExecutionEngine/ExecutionEngine.cs
@@ -875,7 +875,6 @@ namespace Microsoft.Boogie
       Implementation[] stablePrioritizedImpls = null;

       if (0 < CommandLineOptions.Clo.VerifySnapshots)

       {

-        // TODO(wuestholz): Maybe we should speed up this lookup.

         OtherDefinitionAxiomsCollector.Collect(program.Axioms);

         DependencyCollector.Collect(program);

         stablePrioritizedImpls = impls.OrderByDescending(

@@ -992,6 +991,7 @@ namespace Microsoft.Boogie
 

       if (1 < CommandLineOptions.Clo.VerifySnapshots && programId != null)

       {

+        program.FreezeTopLevelDeclarations();

         programCache.Set(programId, program, policy);

       }