Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dictionaries are non-null, which is enforced by the implementation of Dictionary.

Added class constraints to all of the generic NonNull and NonNullElements methods so only non-value types will be checked.

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/Core/Inline.cs b/Source/Core/Inline.cs
index 12f58b0a..6da85388 100644
--- a/Source/Core/Inline.cs
+++ b/Source/Core/Inline.cs
@@ -29,8 +29,8 @@ namespace Microsoft.Boogie {
     [ContractInvariantMethod]

     void ObjectInvariant() {

       Contract.Invariant(codeCopier != null);

-      Contract.Invariant(cce.NonNullElements(recursiveProcUnrollMap));

-      Contract.Invariant(cce.NonNullElements(inlinedProcLblMap));

+      Contract.Invariant(recursiveProcUnrollMap != null);

+      Contract.Invariant(inlinedProcLblMap != null);

     }