1 files changed, 2 insertions, 2 deletions
diff --git a/Source/AIFramework/Lattice.cs b/Source/AIFramework/Lattice.cs
index 8d7f6c45..005c9b17 100644
--- a/Source/AIFramework/Lattice.cs
+++ b/Source/AIFramework/Lattice.cs
@@ -489,8 +489,8 @@ namespace Microsoft.AbstractInterpretationFramework {
       [ContractInvariantMethod]
       void ObjectInvariant() {
         Contract.Invariant(Map != null);
-        Contract.Invariant(cce.NonNullElements(emptyDictionary1) && Contract.ForAll(emptyDictionary1.Values, set =>/*cce.NonNullElements(set)*/set != null));
-        Contract.Invariant(cce.NonNullElements(emptyDictionary2));
+        Contract.Invariant(cce.NonNullDictionaryAndValues(emptyDictionary1) && Contract.ForAll(emptyDictionary1.Values, set =>/*cce.NonNullElements(set)*/set != null));
+        Contract.Invariant(cce.NonNullDictionaryAndValues(emptyDictionary2));
         Contract.Invariant(indexMap != null);
         Contract.Invariant(reverseIndexMap != null);