TSTP Solution File: SWW750_1 by Beagle---0.9.51
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Beagle---0.9.51
% Problem : SWW750_1 : TPTP v8.1.2. Released v7.0.0.
% Transfm : none
% Format : tptp:raw
% Command : java -Dfile.encoding=UTF-8 -Xms512M -Xmx4G -Xss10M -jar /export/starexec/sandbox2/solver/bin/beagle.jar -auto -q -proof -print tff -smtsolver /export/starexec/sandbox2/solver/bin/cvc4-1.4-x86_64-linux-opt -liasolver cooper -t %d %s
% Computer : n023.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Tue Aug 22 11:08:03 EDT 2023
% Result : Unsatisfiable 105.41s 75.26s
% Output : CNFRefutation 106.12s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.13 % Problem : SWW750_1 : TPTP v8.1.2. Released v7.0.0.
% 0.13/0.14 % Command : java -Dfile.encoding=UTF-8 -Xms512M -Xmx4G -Xss10M -jar /export/starexec/sandbox2/solver/bin/beagle.jar -auto -q -proof -print tff -smtsolver /export/starexec/sandbox2/solver/bin/cvc4-1.4-x86_64-linux-opt -liasolver cooper -t %d %s
% 0.14/0.36 % Computer : n023.cluster.edu
% 0.14/0.36 % Model : x86_64 x86_64
% 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.36 % Memory : 8042.1875MB
% 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.36 % CPULimit : 300
% 0.14/0.36 % WCLimit : 300
% 0.14/0.36 % DateTime : Thu Aug 3 19:36:52 EDT 2023
% 0.14/0.36 % CPUTime :
% 105.41/75.26 % SZS status Unsatisfiable for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 105.41/75.26
% 105.41/75.26 % SZS output start CNFRefutation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 105.41/75.28 %$ store2 > BoxFunc > ArrayIndex > store1 > select2 > ValueArraySet > System_String_Equals_System_String_System_String > System_String_Equals_System_String > System_String_Concat_System_String_System_String > System_String_Concat_System_Object_System_Object > StructSet > RefArraySet > NonNullRefArrayRaw > IntToInt > IntArraySet > IfThenElse > FieldDependsOnFCO > AsElementsRepField > x_2 > x_1 > x > shr > shl > select1 > or_1 > min > max > intLess > intGreater > intAtMost > intAtLeast > boolOr > boolImplies > boolIff > boolAnd > anyNeq > anyEqual > and_1 > ValueArrayGet > ValueArray > UBound > System_String_IsInterned_System_String_notnull > System_String_Concat_System_String_System_String_1 > System_String_Concat_System_Object_System_Object_1 > System_Object_ToString > StructGet > StringEquals > RefArrayGet > RefArray > OneClassDown > NonNullRefArray > LBound > IsNotNull > IsAllocated > Is > IntArrayGet > IntArray > InRange > ElementProxyStruct > ElementProxy > DimLength > BoxTester > Box > BoundedStack_ToString > AsRepField > AsRefField > AsRangeField > AsOwner > AsNonNullRefField > AsElementsPeerField > AsDirectSubClass > As > #nlpp > typeof > boolNot > UnboxedType > Unbox > TypeObject > TypeName > System_Object_ToString_1 > StringLength > Rank > Length > IsValueType > IsStaticField > IsMemberlessType > IsImmutable > IsHeap > IncludedInModifiesStar > IncludeInMainFrameCondition > ElementType > DeclType > ClassReprInv > ClassRepr > BoundedStack_ToString_1 > BaseClass > AsPureObject > AsPeerField > AsMutable > AsInterface > AsImmutable > ArrayIndexInvY > ArrayIndexInvX > ArrayCategory > #skF_38 > #skF_20 > #skF_42 > #skF_41 > #skF_75 > #skF_17 > #skF_73 > #skF_71 > #skF_39 > #skF_51 > #skF_58 > #skF_104 > #skF_63 > #skF_81 > #skF_66 > #skF_31 > #skF_35 > #skF_62 > #skF_50 > #skF_22 > #skF_80 > #skF_48 > #skF_44 > #skF_56 > #skF_40 > #skF_25 > #skF_64 > #skF_36 > #skF_68 > #skF_77 > #skF_54 > #skF_46 > #skF_69 > #skF_29 > #skF_10 > #skF_13 > #skF_55 > #skF_49 > #skF_79 > #skF_24 > #skF_60 > #skF_67 > #skF_15 > #skF_78 > #skF_74 > #skF_26 > #skF_14 > #skF_43 > #skF_65 > #skF_30 > #skF_18 > #skF_45 > #skF_11 > #skF_61 > #skF_76 > #skF_32 > #skF_53 > #skF_82 > #skF_59 > #skF_19 > #skF_16 > #skF_28 > #skF_21 > #skF_9 > #skF_57 > #skF_72 > #skF_27 > #skF_12 > #skF_52 > #skF_37 > #skF_70 > #skF_23 > #skF_83 > #skF_33 > #skF_34 > #skF_47
% 105.41/75.28
% 105.41/75.28 %Foreground sorts:
% 105.41/75.28
% 105.41/75.28
% 105.41/75.28 %Background operators:
% 105.41/75.28 tff(System_Object, type, System_Object: $int).
% 105.41/75.28 tff(System_UIntPtr, type, System_UIntPtr: $int).
% 105.41/75.28 tff(int_9223372036854775807, type, int_9223372036854775807: $int).
% 105.41/75.28 tff(PurityAxiomsCanBeAssumed, type, PurityAxiomsCanBeAssumed: $int).
% 105.41/75.28 tff(true_1, type, true_1: $int).
% 105.41/75.28 tff(BeingConstructed, type, BeingConstructed: $int).
% 105.41/75.28 tff('#skF_90', type, '#skF_90': $int).
% 105.41/75.28 tff(return_value_0, type, return_value_0: $int).
% 105.41/75.28 tff('#skE_7', type, '#skE_7': $int).
% 105.41/75.28 tff(System_Int16, type, System_Int16: $int).
% 105.41/75.28 tff(Microsoft_Contracts_GuardException, type, Microsoft_Contracts_GuardException: $int).
% 105.41/75.28 tff(System_IConvertible, type, System_IConvertible: $int).
% 105.41/75.28 tff(BoundedStack, type, BoundedStack: $int).
% 105.41/75.28 tff(System_Int32, type, System_Int32: $int).
% 105.41/75.28 tff(System_Reflection_MemberInfo, type, System_Reflection_MemberInfo: $int).
% 105.41/75.28 tff(this, type, this: $int).
% 105.41/75.28 tff('#skF_94', type, '#skF_94': $int).
% 105.41/75.28 tff(elements, type, elements: $int).
% 105.41/75.28 tff('#skF_101', type, '#skF_101': $int).
% 105.41/75.28 tff(ownerRef, type, ownerRef: $int).
% 105.41/75.28 tff(System_Reflection_IReflect, type, System_Reflection_IReflect: $int).
% 105.41/75.28 tff(sharingMode, type, sharingMode: $int).
% 105.41/75.28 tff(System_Collections_ICollection, type, System_Collections_ICollection: $int).
% 105.41/75.28 tff(System_Reflection_ICustomAttributeProvider, type, System_Reflection_ICustomAttributeProvider: $int).
% 105.41/75.28 tff(BoundedStack_max, type, BoundedStack_max: $int).
% 105.41/75.28 tff(System_IComparable_1___System_String, type, System_IComparable_1___System_String: $int).
% 105.41/75.28 tff('#skF_86', type, '#skF_86': $int).
% 105.41/75.28 tff(System_Collections_IEnumerable, type, System_Collections_IEnumerable: $int).
% 105.41/75.28 tff(System_String, type, System_String: $int).
% 105.41/75.28 tff(System_Runtime_InteropServices__MemberInfo, type, System_Runtime_InteropServices__MemberInfo: $int).
% 105.41/75.29 tff('#skF_84', type, '#skF_84': $int).
% 105.41/75.29 tff(SharingMode_Unshared, type, SharingMode_Unshared: $int).
% 105.41/75.29 tff('#skF_6', type, '#skF_6': $int).
% 105.41/75.29 tff('#skE_2', type, '#skE_2': $int).
% 105.41/75.29 tff('#skF_100', type, '#skF_100': $int).
% 105.41/75.29 tff(stringLiteral10, type, stringLiteral10: $int).
% 105.41/75.29 tff('#skE_1', type, '#skE_1': $int).
% 105.41/75.29 tff(System_Exception, type, System_Exception: $int).
% 105.41/75.29 tff(exposeVersion, type, exposeVersion: $int).
% 105.41/75.29 tff('#skE_6', type, '#skE_6': $int).
% 105.41/75.29 tff('#skF_95', type, '#skF_95': $int).
% 105.41/75.29 tff(System_SByte, type, System_SByte: $int).
% 105.41/75.29 tff('#skE_5', type, '#skE_5': $int).
% 105.41/75.29 tff('#skF_99', type, '#skF_99': $int).
% 105.41/75.29 tff(Heap, type, Heap: $int).
% 105.41/75.29 tff('#skF_102', type, '#skF_102': $int).
% 105.41/75.29 tff(System_Collections_IList, type, System_Collections_IList: $int).
% 105.41/75.29 tff(BoundedStack_size, type, BoundedStack_size: $int).
% 105.41/75.29 tff('#skF_96', type, '#skF_96': $int).
% 105.41/75.29 tff(stringLiteral11, type, stringLiteral11: $int).
% 105.41/75.29 tff('#skE_8', type, '#skE_8': $int).
% 105.41/75.29 tff(Microsoft_Contracts_ObjectInvariantException, type, Microsoft_Contracts_ObjectInvariantException: $int).
% 105.41/75.29 tff('#skF_8', type, '#skF_8': $int).
% 105.41/75.29 tff(System_IntPtr, type, System_IntPtr: $int).
% 105.41/75.29 tff('#skE_4', type, '#skE_4': $int).
% 105.41/75.29 tff('#skF_5', type, '#skF_5': $int).
% 105.41/75.29 tff(false_1, type, false_1: $int).
% 105.41/75.29 tff('#skF_4', type, '#skF_4': $int).
% 105.41/75.29 tff(System_Collections_Generic_IEnumerable_1___System_Char, type, System_Collections_Generic_IEnumerable_1___System_Char: $int).
% 105.41/75.29 tff(System_Type, type, System_Type: $int).
% 105.41/75.29 tff('#skF_2', type, '#skF_2': $int).
% 105.41/75.29 tff('#skF_3', type, '#skF_3': $int).
% 105.41/75.29 tff(ArrayCategoryValue, type, ArrayCategoryValue: $int).
% 105.41/75.29 tff(localinv, type, localinv: $int).
% 105.41/75.29 tff(System_Runtime_InteropServices__Type, type, System_Runtime_InteropServices__Type: $int).
% 105.41/75.29 tff(BoundedStack_elems, type, BoundedStack_elems: $int).
% 105.41/75.29 tff('#skF_91', type, '#skF_91': $int).
% 105.41/75.29 tff('#skE_3', type, '#skE_3': $int).
% 105.41/75.29 tff(inv, type, inv: $int).
% 105.41/75.29 tff('#skF_106', type, '#skF_106': $int).
% 105.41/75.29 tff(System_UInt64, type, System_UInt64: $int).
% 105.41/75.29 tff(result, type, result: $int).
% 105.41/75.29 tff('#skF_1', type, '#skF_1': $int).
% 105.41/75.29 tff(NonNullFieldsAreInitialized, type, NonNullFieldsAreInitialized: $int).
% 105.41/75.29 tff(stringLiteral8, type, stringLiteral8: $int).
% 105.41/75.29 tff('#skF_93', type, '#skF_93': $int).
% 105.41/75.29 tff('#skF_7', type, '#skF_7': $int).
% 105.41/75.29 tff(System_ICloneable, type, System_ICloneable: $int).
% 105.41/75.29 tff(SS_Display_Return_Local, type, SS_Display_Return_Local: $int).
% 105.41/75.29 tff('#skF_105', type, '#skF_105': $int).
% 105.41/75.29 tff(nullObject, type, nullObject: $int).
% 105.41/75.29 tff(System_Runtime_Serialization_ISerializable, type, System_Runtime_Serialization_ISerializable: $int).
% 105.41/75.29 tff(int_m9223372036854775808, type, int_m9223372036854775808: $int).
% 105.41/75.29 tff(System_UInt32, type, System_UInt32: $int).
% 105.41/75.29 tff(System_Byte, type, System_Byte: $int).
% 105.41/75.29 tff('#skE_9', type, '#skE_9': $int).
% 105.41/75.29 tff(int_2147483647, type, int_2147483647: $int).
% 105.41/75.29 tff(ArrayCategoryNonNullRef, type, ArrayCategoryNonNullRef: $int).
% 105.41/75.29 tff(PeerGroupPlaceholder, type, PeerGroupPlaceholder: $int).
% 105.41/75.29 tff('#skF_85', type, '#skF_85': $int).
% 105.41/75.29 tff(FirstConsistentOwner, type, FirstConsistentOwner: $int).
% 105.41/75.29 tff('#skF_98', type, '#skF_98': $int).
% 105.41/75.29 tff(ownerFrame, type, ownerFrame: $int).
% 105.41/75.29 tff(stringLiteral9, type, stringLiteral9: $int).
% 105.41/75.29 tff(System_Array, type, System_Array: $int).
% 105.41/75.29 tff(ArrayCategoryRef, type, ArrayCategoryRef: $int).
% 105.41/75.29 tff('#skF_87', type, '#skF_87': $int).
% 105.41/75.29 tff(System_IComparable, type, System_IComparable: $int).
% 105.41/75.29 tff(System_Boolean, type, System_Boolean: $int).
% 105.41/75.29 tff(System_IEquatable_1___System_String, type, System_IEquatable_1___System_String: $int).
% 105.41/75.29 tff(return_value, type, return_value: $int).
% 105.41/75.29 tff(ArrayCategoryInt, type, ArrayCategoryInt: $int).
% 105.41/75.29 tff(System_Int64, type, System_Int64: $int).
% 105.41/75.29 tff('#skF_89', type, '#skF_89': $int).
% 105.41/75.29 tff(int_18446744073709551615, type, int_18446744073709551615: $int).
% 105.41/75.29 tff('#skF_103', type, '#skF_103': $int).
% 105.41/75.29 tff('#skF_97', type, '#skF_97': $int).
% 105.41/75.29 tff(SharingMode_LockProtected, type, SharingMode_LockProtected: $int).
% 105.41/75.29 tff(Microsoft_Contracts_ICheckedException, type, Microsoft_Contracts_ICheckedException: $int).
% 105.41/75.29 tff('#skF_88', type, '#skF_88': $int).
% 105.41/75.29 tff(System_Char, type, System_Char: $int).
% 105.41/75.29 tff(int_m2147483648, type, int_m2147483648: $int).
% 105.41/75.29 tff(int_4294967295, type, int_4294967295: $int).
% 105.41/75.29 tff(allocated, type, allocated: $int).
% 105.41/75.29 tff('#skF_92', type, '#skF_92': $int).
% 105.41/75.29 tff(System_UInt16, type, System_UInt16: $int).
% 105.41/75.29 tff(System_Runtime_InteropServices__Exception, type, System_Runtime_InteropServices__Exception: $int).
% 105.41/75.29
% 105.41/75.29 %Foreground operators:
% 105.41/75.29 tff('#skF_38', type, '#skF_38': ($int * $int) > $int).
% 105.41/75.29 tff(ValueArray, type, ValueArray: ($int * $int) > $int).
% 105.41/75.29 tff(RefArraySet, type, RefArraySet: ($int * $int * $int) > $int).
% 105.41/75.29 tff(IsStaticField, type, IsStaticField: $int > $int).
% 105.41/75.29 tff('#skF_20', type, '#skF_20': ($int * $int * $int) > $int).
% 105.41/75.29 tff(AsNonNullRefField, type, AsNonNullRefField: ($int * $int) > $int).
% 105.41/75.29 tff(IsNotNull, type, IsNotNull: ($int * $int) > $int).
% 105.41/75.29 tff(ArrayCategory, type, ArrayCategory: $int > $int).
% 105.41/75.29 tff('#skF_42', type, '#skF_42': ($int * $int) > $int).
% 105.41/75.29 tff(StringEquals, type, StringEquals: ($int * $int) > $int).
% 105.41/75.29 tff('#skF_41', type, '#skF_41': ($int * $int * $int) > $int).
% 105.41/75.29 tff(System_String_Concat_System_String_System_String, type, System_String_Concat_System_String_System_String: ($int * $int * $int) > $int).
% 105.41/75.29 tff('#skF_75', type, '#skF_75': ($int * $int) > $int).
% 105.41/75.29 tff('#skF_17', type, '#skF_17': ($int * $int * $int) > $int).
% 105.41/75.29 tff('#skF_73', type, '#skF_73': ($int * $int * $int) > $int).
% 105.41/75.29 tff(ArrayIndexInvX, type, ArrayIndexInvX: $int > $int).
% 105.41/75.29 tff(IsMemberlessType, type, IsMemberlessType: $int > $int).
% 105.41/75.29 tff(and_1, type, and_1: ($int * $int) > $int).
% 105.41/75.29 tff('#skF_71', type, '#skF_71': ($int * $int) > $int).
% 105.41/75.29 tff('#skF_39', type, '#skF_39': ($int * $int) > $int).
% 105.41/75.29 tff(store2, type, store2: ($int * $int * $int * $int) > $int).
% 105.41/75.29 tff('#skF_51', type, '#skF_51': ($int * $int) > $int).
% 105.41/75.29 tff('#skF_58', type, '#skF_58': ($int * $int) > $int).
% 105.41/75.29 tff('#skF_104', type, '#skF_104': $int > $int).
% 105.41/75.29 tff('#skF_63', type, '#skF_63': ($int * $int) > $int).
% 105.41/75.29 tff('#skF_81', type, '#skF_81': ($int * $int * $int) > $int).
% 105.41/75.29 tff(Length, type, Length: $int > $int).
% 105.41/75.29 tff('#skF_66', type, '#skF_66': ($int * $int) > $int).
% 105.41/75.29 tff(ArrayIndex, type, ArrayIndex: ($int * $int * $int * $int) > $int).
% 105.41/75.29 tff('#skF_31', type, '#skF_31': ($int * $int * $int * $int) > $int).
% 105.41/75.29 tff('#skF_35', type, '#skF_35': ($int * $int * $int * $int) > $int).
% 105.41/75.29 tff(boolIff, type, boolIff: ($int * $int) > $int).
% 105.41/75.29 tff(AsElementsPeerField, type, AsElementsPeerField: ($int * $int) > $int).
% 105.41/75.29 tff(ClassReprInv, type, ClassReprInv: $int > $int).
% 105.41/75.29 tff('#skF_62', type, '#skF_62': ($int * $int) > $int).
% 105.41/75.29 tff(ArrayIndexInvY, type, ArrayIndexInvY: $int > $int).
% 105.41/75.29 tff('#skF_50', type, '#skF_50': ($int * $int) > $int).
% 105.41/75.29 tff(or_1, type, or_1: ($int * $int) > $int).
% 105.41/75.29 tff(As, type, As: ($int * $int) > $int).
% 105.41/75.29 tff(StructSet, type, StructSet: ($int * $int * $int) > $int).
% 105.41/75.29 tff('#skF_22', type, '#skF_22': ($int * $int * $int) > $int).
% 105.41/75.29 tff(RefArray, type, RefArray: ($int * $int) > $int).
% 105.41/75.29 tff(select1, type, select1: ($int * $int) > $int).
% 105.41/75.29 tff(AsPeerField, type, AsPeerField: $int > $int).
% 105.41/75.29 tff('#skF_80', type, '#skF_80': ($int * $int * $int) > $int).
% 105.41/75.29 tff(IsValueType, type, IsValueType: $int > $int).
% 105.41/75.29 tff(x_1, type, x_1: ($int * $int) > $int).
% 105.41/75.29 tff(AsPureObject, type, AsPureObject: $int > $int).
% 105.41/75.29 tff(AsMutable, type, AsMutable: $int > $int).
% 105.41/75.29 tff('#skF_48', type, '#skF_48': ($int * $int * $int) > $int).
% 105.41/75.29 tff(System_String_Concat_System_String_System_String_1, type, System_String_Concat_System_String_System_String_1: ($int * $int) > $int).
% 105.41/75.29 tff(ElementType, type, ElementType: $int > $int).
% 105.41/75.29 tff('#skF_44', type, '#skF_44': ($int * $int) > $int).
% 105.41/75.29 tff('#skF_56', type, '#skF_56': ($int * $int) > $int).
% 105.41/75.29 tff(boolAnd, type, boolAnd: ($int * $int) > $int).
% 105.41/75.29 tff(IfThenElse, type, IfThenElse: ($int * $int * $int) > $int).
% 105.41/75.29 tff(ElementProxyStruct, type, ElementProxyStruct: ($int * $int) > $int).
% 105.41/75.29 tff('#skF_40', type, '#skF_40': ($int * $int * $int) > $int).
% 105.41/75.29 tff(ValueArraySet, type, ValueArraySet: ($int * $int * $int) > $int).
% 105.41/75.29 tff(AsImmutable, type, AsImmutable: $int > $int).
% 105.41/75.29 tff(TypeName, type, TypeName: $int > $int).
% 105.41/75.29 tff('#skF_25', type, '#skF_25': ($int * $int * $int) > $int).
% 105.41/75.29 tff(DimLength, type, DimLength: ($int * $int) > $int).
% 105.41/75.29 tff(boolOr, type, boolOr: ($int * $int) > $int).
% 105.41/75.29 tff(IntArraySet, type, IntArraySet: ($int * $int * $int) > $int).
% 105.41/75.29 tff(System_String_IsInterned_System_String_notnull, type, System_String_IsInterned_System_String_notnull: ($int * $int) > $int).
% 105.41/75.29 tff(IntArrayGet, type, IntArrayGet: ($int * $int) > $int).
% 105.41/75.29 tff(anyEqual, type, anyEqual: ($int * $int) > $int).
% 105.41/75.29 tff(AsInterface, type, AsInterface: $int > $int).
% 105.41/75.29 tff('#skF_64', type, '#skF_64': ($int * $int) > $int).
% 105.41/75.29 tff(intAtMost, type, intAtMost: ($int * $int) > $int).
% 105.41/75.29 tff('#skF_36', type, '#skF_36': ($int * $int * $int * $int) > $int).
% 105.41/75.29 tff(intGreater, type, intGreater: ($int * $int) > $int).
% 105.41/75.29 tff('#skF_68', type, '#skF_68': ($int * $int) > $int).
% 105.41/75.29 tff('#skF_77', type, '#skF_77': ($int * $int * $int) > $int).
% 105.41/75.29 tff('#skF_54', type, '#skF_54': ($int * $int) > $int).
% 105.41/75.29 tff('#skF_46', type, '#skF_46': ($int * $int) > $int).
% 105.41/75.29 tff('#skF_69', type, '#skF_69': ($int * $int) > $int).
% 105.41/75.29 tff(anyNeq, type, anyNeq: ($int * $int) > $int).
% 105.41/75.29 tff('#skF_29', type, '#skF_29': ($int * $int * $int) > $int).
% 105.41/75.29 tff(boolImplies, type, boolImplies: ($int * $int) > $int).
% 105.41/75.29 tff(InRange, type, InRange: ($int * $int) > $int).
% 105.41/75.29 tff(AsRefField, type, AsRefField: ($int * $int) > $int).
% 105.41/75.29 tff(OneClassDown, type, OneClassDown: ($int * $int) > $int).
% 105.41/75.29 tff(ElementProxy, type, ElementProxy: ($int * $int) > $int).
% 105.41/75.29 tff('#skF_10', type, '#skF_10': $int > $int).
% 105.41/75.29 tff('#skF_13', type, '#skF_13': ($int * $int) > $int).
% 105.41/75.29 tff(FieldDependsOnFCO, type, FieldDependsOnFCO: ($int * $int * $int) > $int).
% 105.41/75.29 tff(x, type, x: ($int * $int) > $int).
% 105.41/75.29 tff(select2, type, select2: ($int * $int * $int) > $int).
% 105.41/75.29 tff(IncludeInMainFrameCondition, type, IncludeInMainFrameCondition: $int > $int).
% 105.41/75.29 tff(RefArrayGet, type, RefArrayGet: ($int * $int) > $int).
% 105.41/75.29 tff('#skF_55', type, '#skF_55': ($int * $int) > $int).
% 105.41/75.29 tff(IntArray, type, IntArray: ($int * $int) > $int).
% 105.41/75.29 tff('#skF_49', type, '#skF_49': ($int * $int * $int) > $int).
% 105.41/75.29 tff(shr, type, shr: ($int * $int) > $int).
% 105.41/75.29 tff(max, type, max: ($int * $int) > $int).
% 105.41/75.29 tff(Box, type, Box: ($int * $int) > $int).
% 105.41/75.29 tff(System_String_Concat_System_Object_System_Object, type, System_String_Concat_System_Object_System_Object: ($int * $int * $int) > $int).
% 105.41/75.29 tff('#skF_79', type, '#skF_79': ($int * $int * $int * $int) > $int).
% 105.41/75.29 tff('#skF_24', type, '#skF_24': ($int * $int * $int) > $int).
% 105.41/75.29 tff(x_2, type, x_2: ($int * $int) > $int).
% 105.41/75.29 tff(ClassRepr, type, ClassRepr: $int > $int).
% 105.41/75.29 tff('#skF_60', type, '#skF_60': ($int * $int) > $int).
% 105.41/75.29 tff(Is, type, Is: ($int * $int) > $int).
% 105.41/75.29 tff('#skF_67', type, '#skF_67': ($int * $int * $int) > $int).
% 105.41/75.29 tff('#skF_15', type, '#skF_15': ($int * $int * $int) > $int).
% 105.41/75.29 tff('#skF_78', type, '#skF_78': ($int * $int * $int) > $int).
% 105.41/75.29 tff(TypeObject, type, TypeObject: $int > $int).
% 105.41/75.29 tff('#skF_74', type, '#skF_74': ($int * $int) > $int).
% 105.41/75.29 tff(UBound, type, UBound: ($int * $int) > $int).
% 105.41/75.29 tff(Unbox, type, Unbox: $int > $int).
% 105.41/75.29 tff(AsRangeField, type, AsRangeField: ($int * $int) > $int).
% 105.41/75.29 tff(IntToInt, type, IntToInt: ($int * $int * $int) > $int).
% 105.41/75.29 tff('#skF_26', type, '#skF_26': $int > $int).
% 105.41/75.29 tff('#skF_14', type, '#skF_14': ($int * $int) > $int).
% 105.41/75.29 tff('#skF_43', type, '#skF_43': ($int * $int) > $int).
% 105.41/75.29 tff('#skF_65', type, '#skF_65': ($int * $int) > $int).
% 105.41/75.29 tff(UnboxedType, type, UnboxedType: $int > $int).
% 105.41/75.29 tff('#skF_30', type, '#skF_30': ($int * $int * $int) > $int).
% 105.41/75.29 tff('#skF_18', type, '#skF_18': ($int * $int * $int) > $int).
% 105.41/75.29 tff('#skF_45', type, '#skF_45': ($int * $int) > $int).
% 105.41/75.29 tff(System_String_Equals_System_String, type, System_String_Equals_System_String: ($int * $int * $int) > $int).
% 105.41/75.29 tff(store1, type, store1: ($int * $int * $int) > $int).
% 105.41/75.29 tff('#skF_11', type, '#skF_11': ($int * $int) > $int).
% 105.41/75.29 tff(IncludedInModifiesStar, type, IncludedInModifiesStar: $int > $int).
% 105.41/75.29 tff(intAtLeast, type, intAtLeast: ($int * $int) > $int).
% 105.41/75.29 tff(NonNullRefArray, type, NonNullRefArray: ($int * $int) > $int).
% 105.41/75.29 tff('#skF_61', type, '#skF_61': ($int * $int) > $int).
% 105.41/75.29 tff('#skF_76', type, '#skF_76': ($int * $int * $int) > $int).
% 105.41/75.29 tff('#skF_32', type, '#skF_32': ($int * $int * $int) > $int).
% 105.41/75.29 tff(intLess, type, intLess: ($int * $int) > $int).
% 105.41/75.29 tff(BoundedStack_ToString_1, type, BoundedStack_ToString_1: $int > $int).
% 105.41/75.29 tff('#skF_53', type, '#skF_53': ($int * $int) > $int).
% 105.41/75.29 tff('#skF_82', type, '#skF_82': ($int * $int * $int) > $int).
% 105.41/75.29 tff(System_Object_ToString, type, System_Object_ToString: ($int * $int) > $int).
% 105.41/75.29 tff('#skF_59', type, '#skF_59': ($int * $int) > $int).
% 105.41/75.29 tff('#skF_19', type, '#skF_19': ($int * $int * $int) > $int).
% 105.41/75.29 tff(NonNullRefArrayRaw, type, NonNullRefArrayRaw: ($int * $int * $int) > $int).
% 105.41/75.29 tff('#skF_16', type, '#skF_16': ($int * $int * $int) > $int).
% 105.41/75.29 tff(boolNot, type, boolNot: $int > $int).
% 105.41/75.29 tff(BaseClass, type, BaseClass: $int > $int).
% 105.41/75.29 tff('#skF_28', type, '#skF_28': ($int * $int * $int) > $int).
% 105.41/75.29 tff('#skF_21', type, '#skF_21': ($int * $int * $int) > $int).
% 105.41/75.29 tff('#skF_9', type, '#skF_9': ($int * $int * $int) > $int).
% 105.41/75.29 tff('#skF_57', type, '#skF_57': ($int * $int) > $int).
% 105.41/75.29 tff(BoxTester, type, BoxTester: ($int * $int) > $int).
% 105.41/75.29 tff(StringLength, type, StringLength: $int > $int).
% 105.41/75.29 tff(ValueArrayGet, type, ValueArrayGet: ($int * $int) > $int).
% 105.41/75.29 tff('#skF_72', type, '#skF_72': ($int * $int) > $int).
% 105.41/75.29 tff('#skF_27', type, '#skF_27': ($int * $int) > $int).
% 105.41/75.29 tff(typeof, type, typeof: $int > $int).
% 105.41/75.29 tff(LBound, type, LBound: ($int * $int) > $int).
% 105.41/75.29 tff(System_Object_ToString_1, type, System_Object_ToString_1: $int > $int).
% 105.41/75.29 tff(BoxFunc, type, BoxFunc: ($int * $int * $int * $int) > $int).
% 105.41/75.29 tff('#skF_12', type, '#skF_12': ($int * $int) > $int).
% 105.41/75.29 tff(shl, type, shl: ($int * $int) > $int).
% 105.41/75.29 tff(System_String_Concat_System_Object_System_Object_1, type, System_String_Concat_System_Object_System_Object_1: ($int * $int) > $int).
% 105.41/75.29 tff(System_String_Equals_System_String_System_String, type, System_String_Equals_System_String_System_String: ($int * $int * $int) > $int).
% 105.41/75.29 tff(AsElementsRepField, type, AsElementsRepField: ($int * $int * $int) > $int).
% 105.41/75.29 tff(Rank, type, Rank: $int > $int).
% 105.41/75.29 tff(AsOwner, type, AsOwner: ($int * $int) > $int).
% 105.41/75.29 tff(BoundedStack_ToString, type, BoundedStack_ToString: ($int * $int) > $int).
% 105.41/75.29 tff(DeclType, type, DeclType: $int > $int).
% 105.41/75.29 tff('#skF_52', type, '#skF_52': ($int * $int) > $int).
% 105.41/75.29 tff(AsRepField, type, AsRepField: ($int * $int) > $int).
% 105.41/75.29 tff(StructGet, type, StructGet: ($int * $int) > $int).
% 105.41/75.29 tff('#skF_37', type, '#skF_37': ($int * $int) > $int).
% 105.41/75.29 tff(IsImmutable, type, IsImmutable: $int > $int).
% 105.41/75.29 tff(min, type, min: ($int * $int) > $int).
% 105.41/75.29 tff('#skF_70', type, '#skF_70': ($int * $int) > $int).
% 105.41/75.29 tff('#skF_23', type, '#skF_23': ($int * $int * $int) > $int).
% 105.41/75.29 tff(IsAllocated, type, IsAllocated: ($int * $int) > $int).
% 105.41/75.29 tff('#skF_83', type, '#skF_83': ($int * $int * $int * $int) > $int).
% 105.41/75.29 tff('#skF_33', type, '#skF_33': ($int * $int * $int * $int * $int) > $int).
% 105.41/75.29 tff(AsDirectSubClass, type, AsDirectSubClass: ($int * $int) > $int).
% 105.41/75.29 tff(IsHeap, type, IsHeap: $int > $int).
% 105.41/75.29 tff('#skF_34', type, '#skF_34': ($int * $int * $int * $int * $int) > $int).
% 105.41/75.29 tff('#skF_47', type, '#skF_47': ($int * $int * $int * $int) > $int).
% 105.41/75.29
% 106.12/75.59 tff(f_10448, axiom, (?[A__questionmark_v_2_89a:$int, A__questionmark_v_5_90a:$int, A__questionmark_v_4_91a:$int, A__questionmark_v_72_92a:$int, A__questionmark_v_99_93a:$int, A__questionmark_v_3_94a:$int, A__questionmark_v_96_95a:$int, A__questionmark_v_32_96a:$int, A__questionmark_v_74_97a:$int, A__questionmark_v_79_98a:$int, A__questionmark_v_78_99a:$int]: ((((((((((((A__questionmark_v_2_89a = StringLength(stringLiteral11)) & (A__questionmark_v_5_90a = BaseClass(System_Type))) & (A__questionmark_v_4_91a = BaseClass(Microsoft_Contracts_ObjectInvariantException))) & (A__questionmark_v_72_92a = BaseClass(Microsoft_Contracts_GuardException))) & (A__questionmark_v_99_93a = BaseClass(System_Exception))) & (A__questionmark_v_3_94a = BaseClass(System_String))) & (A__questionmark_v_96_95a = DeclType(BoundedStack_elems))) & (A__questionmark_v_32_96a = DeclType(BoundedStack_max))) & (A__questionmark_v_74_97a = DeclType(BoundedStack_size))) & (A__questionmark_v_79_98a = $difference(0, int_2147483647))) & (A__questionmark_v_78_99a = $sum(int_m2147483648, 1))) & (?[A__questionmark_v_16_101a:$int, A__questionmark_v_71_102a:$int, A__questionmark_v_37_103a:$int, A__questionmark_v_73_104a:$int]: (((((A__questionmark_v_16_101a = $difference(0, int_9223372036854775807)) & (A__questionmark_v_71_102a = $sum(int_m9223372036854775808, 1))) & (A__questionmark_v_37_103a = DeclType(NonNullFieldsAreInitialized))) & (A__questionmark_v_73_104a = DeclType(elements))) & (?[A__questionmark_v_106_183a:$int, A__questionmark_v_94_193a:$int, A__questionmark_v_93_195a:$int, A__questionmark_v_0_200a:$int, A__questionmark_v_1_201a:$int]: ((((((A__questionmark_v_106_183a = $sum(int_m2147483648, A__questionmark_v_2_89a)) & (A__questionmark_v_94_193a = BaseClass(A__questionmark_v_4_91a))) & (A__questionmark_v_93_195a = $sum(int_m9223372036854775808, A__questionmark_v_2_89a))) & (A__questionmark_v_0_200a = select2(Heap, this, ownerFrame))) & (A__questionmark_v_1_201a = select2(Heap, this, ownerRef))) & ~((IsHeap(Heap) = true_1) => (~(~(IsNotNull(this, BoundedStack) = true_1) | ~(select2(Heap, this, allocated) = true_1)) => ((InRange(result, System_Int32) = true_1) => ((InRange(return_value, System_Int32) = true_1) => ((InRange(SS_Display_Return_Local, System_Int32) = true_1) => ((PurityAxiomsCanBeAssumed = true_1) => ((BeingConstructed = nullObject) => ((((A__questionmark_v_0_200a = PeerGroupPlaceholder) | ~(x(select2(Heap, A__questionmark_v_1_201a, inv), A__questionmark_v_0_200a) = true_1)) | (select2(Heap, A__questionmark_v_1_201a, localinv) = BaseClass(A__questionmark_v_0_200a))) => ((![A__questionmark_pca:$int]: (?[A__questionmark_v_116_202a:$int]: ((A__questionmark_v_116_202a = typeof(A__questionmark_pca)) & (~(((~~(A__questionmark_pca = nullObject) | ~(select2(Heap, A__questionmark_pca, allocated) = true_1)) | ~(select2(Heap, A__questionmark_pca, ownerRef) = A__questionmark_v_1_201a)) | ~(select2(Heap, A__questionmark_pca, ownerFrame) = A__questionmark_v_0_200a)) => ~(~(select2(Heap, A__questionmark_pca, inv) = A__questionmark_v_116_202a) | ~(select2(Heap, A__questionmark_pca, localinv) = A__questionmark_v_116_202a)))))) => (~((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((~(System_Collections_ICollection = AsInterface(System_Collections_ICollection)) | ~(true_1 = IncludeInMainFrameCondition(elements))) | ~(true_1 = IncludeInMainFrameCondition(BoundedStack_max))) | ~(true_1 = IncludeInMainFrameCondition(BoundedStack_elems))) | ~(true_1 = IncludeInMainFrameCondition(BoundedStack_size))) | ~(true_1 = IncludeInMainFrameCondition(ownerFrame))) | ~(true_1 = IncludeInMainFrameCondition(ownerRef))) | ~(true_1 = IncludeInMainFrameCondition(allocated))) | ~(true_1 = IncludeInMainFrameCondition(exposeVersion))) | ~(A__questionmark_v_16_101a = A__questionmark_v_93_195a)) | ~(System_IConvertible = AsInterface(System_IConvertible))) | ~(System_Runtime_Serialization_ISerializable = AsInterface(System_Runtime_Serialization_ISerializable))) | ~(System_Reflection_ICustomAttributeProvider = AsInterface(System_Reflection_ICustomAttributeProvider))) | ~(Microsoft_Contracts_ICheckedException = AsInterface(Microsoft_Contracts_ICheckedException))) | ~(1 = A__questionmark_v_2_89a)) | ~(13 = StringLength(stringLiteral8))) | ~(BoundedStack_size = AsRangeField(BoundedStack_size, System_Int32))) | ~(System_Exception = A__questionmark_v_72_92a)) | ~(System_Exception = AsDirectSubClass(System_Exception, A__questionmark_v_3_94a))) | ~(System_Exception = AsMutable(System_Exception))) | ~(System_IComparable_1___System_String = AsInterface(System_IComparable_1___System_String))) | ~(Microsoft_Contracts_GuardException = A__questionmark_v_4_91a)) | ~(Microsoft_Contracts_GuardException = AsDirectSubClass(Microsoft_Contracts_GuardException, System_Exception))) | ~(Microsoft_Contracts_GuardException = AsMutable(Microsoft_Contracts_GuardException))) | ~(18 = StringLength(stringLiteral9))) | ~(System_Collections_Generic_IEnumerable_1___System_Char = AsInterface(System_Collections_Generic_IEnumerable_1___System_Char))) | ~(System_Collections_IList = AsInterface(System_Collections_IList))) | ~(System_IComparable = AsInterface(System_IComparable))) | ~(BoundedStack = A__questionmark_v_74_97a)) | ~(BoundedStack = A__questionmark_v_32_96a)) | ~(BoundedStack = AsDirectSubClass(BoundedStack, A__questionmark_v_3_94a))) | ~(BoundedStack = A__questionmark_v_96_95a)) | ~(BoundedStack = AsMutable(BoundedStack))) | ~(BoundedStack_elems = AsNonNullRefField(BoundedStack_elems, IntArray(System_Int32, 1)))) | ~(BoundedStack_elems = AsRepField(BoundedStack_elems, BoundedStack))) | ~(BoundedStack_max = AsRangeField(BoundedStack_max, System_Int32))) | ~(7 = StringLength(stringLiteral10))) | ~(System_Object = BaseClass(A__questionmark_v_5_90a))) | ~(System_Object = DeclType(exposeVersion))) | ~(System_Object = BaseClass(System_Array))) | ~(System_Object = A__questionmark_v_37_103a)) | ~(System_Object = A__questionmark_v_73_104a)) | ~(System_Object = A__questionmark_v_99_93a)) | ~(System_Object = A__questionmark_v_3_94a)) | ~(System_Object = BaseClass(BoundedStack))) | ~(System_Runtime_InteropServices__Type = AsInterface(System_Runtime_InteropServices__Type))) | ~(Microsoft_Contracts_ObjectInvariantException = AsDirectSubClass(Microsoft_Contracts_ObjectInvariantException, A__questionmark_v_4_91a))) | ~(Microsoft_Contracts_ObjectInvariantException = AsMutable(Microsoft_Contracts_ObjectInvariantException))) | ~(System_Collections_IEnumerable = AsInterface(System_Collections_IEnumerable))) | ~(System_String = AsDirectSubClass(System_String, A__questionmark_v_3_94a))) | ~(System_String = AsImmutable(System_String))) | ~(System_Array = AsDirectSubClass(System_Array, System_Object))) | ~(System_Array = AsMutable(System_Array))) | ~(System_Reflection_MemberInfo = AsDirectSubClass(System_Reflection_MemberInfo, System_Object))) | ~(System_Reflection_MemberInfo = AsImmutable(A__questionmark_v_5_90a))) | ~(System_Reflection_MemberInfo = A__questionmark_v_5_90a)) | ~(A__questionmark_v_79_98a = A__questionmark_v_78_99a)) | ~(System_Runtime_InteropServices__Exception = AsInterface(System_Runtime_InteropServices__Exception))) | ~(System_IEquatable_1___System_String = AsInterface(System_IEquatable_1___System_String))) | ~(false_1 = IsStaticField(elements))) | ~(false_1 = IsStaticField(localinv))) | ~(false_1 = IncludeInMainFrameCondition(FirstConsistentOwner))) | ~(false_1 = IsStaticField(BoundedStack_max))) | ~(false_1 = IsStaticField(inv))) | ~(false_1 = IsStaticField(BoundedStack_size))) | ~(false_1 = IsStaticField(BoundedStack_elems))) | ~(false_1 = IncludeInMainFrameCondition(localinv))) | ~(false_1 = IsStaticField(exposeVersion))) | ~(false_1 = IsStaticField(allocated))) | ~(false_1 = IncludeInMainFrameCondition(inv))) | ~(System_Runtime_InteropServices__MemberInfo = AsInterface(System_Runtime_InteropServices__MemberInfo))) | ~(System_ICloneable = AsInterface(System_ICloneable))) | ~(System_Reflection_IReflect = AsInterface(System_Reflection_IReflect))) | ~(System_Type = AsImmutable(System_Type))) | ~(System_Type = AsDirectSubClass(System_Type, A__questionmark_v_5_90a))) => (~((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((~(System_Collections_ICollection = AsInterface(System_Collections_ICollection)) | ~(true_1 = IncludeInMainFrameCondition(elements))) | ~(true_1 = IncludeInMainFrameCondition(BoundedStack_max))) | ~(true_1 = IncludeInMainFrameCondition(BoundedStack_elems))) | ~(true_1 = IncludeInMainFrameCondition(allocated))) | ~(true_1 = IncludeInMainFrameCondition(BoundedStack_size))) | ~(true_1 = IncludeInMainFrameCondition(ownerFrame))) | ~(true_1 = IncludeInMainFrameCondition(ownerRef))) | ~(true_1 = IncludeInMainFrameCondition(exposeVersion))) | ~(System_Runtime_Serialization_ISerializable = AsInterface(System_Runtime_Serialization_ISerializable))) | ~(A__questionmark_v_71_102a = A__questionmark_v_16_101a)) | ~(System_IConvertible = AsInterface(System_IConvertible))) | ~(System_Reflection_ICustomAttributeProvider = AsInterface(System_Reflection_ICustomAttributeProvider))) | ~(Microsoft_Contracts_ICheckedException = AsInterface(Microsoft_Contracts_ICheckedException))) | ~(1 = A__questionmark_v_2_89a)) | ~(13 = StringLength(stringLiteral8))) | ~(BoundedStack_size = AsRangeField(BoundedStack_size, System_Int32))) | ~(System_Exception = AsMutable(System_Exception))) | ~(System_Exception = A__questionmark_v_72_92a)) | ~(System_Exception = AsDirectSubClass(System_Exception, System_Object))) | ~(System_IComparable_1___System_String = AsInterface(System_IComparable_1___System_String))) | ~(Microsoft_Contracts_GuardException = A__questionmark_v_4_91a)) | ~(Microsoft_Contracts_GuardException = AsDirectSubClass(Microsoft_Contracts_GuardException, System_Exception))) | ~(Microsoft_Contracts_GuardException = AsMutable(Microsoft_Contracts_GuardException))) | ~(18 = StringLength(stringLiteral9))) | ~(System_Collections_Generic_IEnumerable_1___System_Char = AsInterface(System_Collections_Generic_IEnumerable_1___System_Char))) | ~(System_Collections_IList = AsInterface(System_Collections_IList))) | ~(BoundedStack_elems = AsRepField(BoundedStack_elems, A__questionmark_v_32_96a))) | ~(BoundedStack_elems = AsNonNullRefField(BoundedStack_elems, IntArray(System_Int32, 1)))) | ~(System_IComparable = AsInterface(System_IComparable))) | ~(BoundedStack = A__questionmark_v_74_97a)) | ~(BoundedStack = A__questionmark_v_32_96a)) | ~(BoundedStack = AsDirectSubClass(A__questionmark_v_32_96a, A__questionmark_v_37_103a))) | ~(BoundedStack = A__questionmark_v_96_95a)) | ~(BoundedStack = AsMutable(A__questionmark_v_32_96a))) | ~(BoundedStack_max = AsRangeField(BoundedStack_max, System_Int32))) | ~(System_Object = BaseClass(System_Reflection_MemberInfo))) | ~(System_Object = DeclType(exposeVersion))) | ~(System_Object = BaseClass(A__questionmark_v_32_96a))) | ~(System_Object = BaseClass(System_Array))) | ~(System_Object = A__questionmark_v_37_103a)) | ~(System_Object = A__questionmark_v_73_104a)) | ~(System_Object = A__questionmark_v_99_93a)) | ~(System_Object = A__questionmark_v_3_94a)) | ~(System_Runtime_InteropServices__Type = AsInterface(System_Runtime_InteropServices__Type))) | ~(Microsoft_Contracts_ObjectInvariantException = AsDirectSubClass(Microsoft_Contracts_ObjectInvariantException, Microsoft_Contracts_GuardException))) | ~(Microsoft_Contracts_ObjectInvariantException = AsMutable(Microsoft_Contracts_ObjectInvariantException))) | ~(System_Collections_IEnumerable = AsInterface(System_Collections_IEnumerable))) | ~(System_String = AsDirectSubClass(System_String, A__questionmark_v_37_103a))) | ~(System_String = AsImmutable(System_String))) | ~(System_Array = AsDirectSubClass(System_Array, A__questionmark_v_37_103a))) | ~(System_Array = AsMutable(System_Array))) | ~(7 = StringLength(stringLiteral10))) | ~(System_Reflection_MemberInfo = AsDirectSubClass(System_Reflection_MemberInfo, A__questionmark_v_37_103a))) | ~(System_Reflection_MemberInfo = AsImmutable(System_Reflection_MemberInfo))) | ~(System_Reflection_MemberInfo = A__questionmark_v_5_90a)) | ~(A__questionmark_v_79_98a = A__questionmark_v_78_99a)) | ~(System_Runtime_InteropServices__Exception = AsInterface(System_Runtime_InteropServices__Exception))) | ~(System_ICloneable = AsInterface(System_ICloneable))) | ~(System_IEquatable_1___System_String = AsInterface(System_IEquatable_1___System_String))) | ~(false_1 = IsStaticField(elements))) | ~(false_1 = IsStaticField(allocated))) | ~(false_1 = IsStaticField(inv))) | ~(false_1 = IsStaticField(BoundedStack_max))) | ~(false_1 = IsStaticField(localinv))) | ~(false_1 = IsStaticField(BoundedStack_elems))) | ~(false_1 = IncludeInMainFrameCondition(localinv))) | ~(false_1 = IsStaticField(BoundedStack_size))) | ~(false_1 = IsStaticField(exposeVersion))) | ~(false_1 = IncludeInMainFrameCondition(inv))) | ~(false_1 = IncludeInMainFrameCondition(FirstConsistentOwner))) | ~(System_Runtime_InteropServices__MemberInfo = AsInterface(System_Runtime_InteropServices__MemberInfo))) | ~(System_Reflection_IReflect = AsInterface(System_Reflection_IReflect))) | ~(System_Type = AsImmutable(System_Type))) | ~(System_Type = AsDirectSubClass(System_Type, System_Reflection_MemberInfo))) => (~((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((~(System_Collections_ICollection = AsInterface(System_Collections_ICollection)) | ~(true_1 = IncludeInMainFrameCondition(elements))) | ~(true_1 = IncludeInMainFrameCondition(BoundedStack_max))) | ~(true_1 = IncludeInMainFrameCondition(BoundedStack_elems))) | ~(true_1 = IncludeInMainFrameCondition(allocated))) | ~(true_1 = IncludeInMainFrameCondition(BoundedStack_size))) | ~(true_1 = IncludeInMainFrameCondition(ownerFrame))) | ~(true_1 = IncludeInMainFrameCondition(ownerRef))) | ~(true_1 = IncludeInMainFrameCondition(exposeVersion))) | ~(System_Runtime_Serialization_ISerializable = AsInterface(System_Runtime_Serialization_ISerializable))) | ~(A__questionmark_v_16_101a = A__questionmark_v_71_102a)) | ~(System_IConvertible = AsInterface(System_IConvertible))) | ~(System_Reflection_ICustomAttributeProvider = AsInterface(System_Reflection_ICustomAttributeProvider))) | ~(Microsoft_Contracts_ICheckedException = AsInterface(Microsoft_Contracts_ICheckedException))) | ~(1 = A__questionmark_v_2_89a)) | ~(13 = StringLength(stringLiteral8))) | ~(BoundedStack_size = AsRangeField(BoundedStack_size, System_Int32))) | ~(System_Exception = AsMutable(A__questionmark_v_72_92a))) | ~(System_Exception = AsDirectSubClass(A__questionmark_v_72_92a, A__questionmark_v_73_104a))) | ~(System_Exception = A__questionmark_v_72_92a)) | ~(System_IComparable_1___System_String = AsInterface(System_IComparable_1___System_String))) | ~(Microsoft_Contracts_GuardException = A__questionmark_v_4_91a)) | ~(Microsoft_Contracts_GuardException = AsDirectSubClass(Microsoft_Contracts_GuardException, A__questionmark_v_72_92a))) | ~(Microsoft_Contracts_GuardException = AsMutable(Microsoft_Contracts_GuardException))) | ~(18 = StringLength(stringLiteral9))) | ~(System_Collections_Generic_IEnumerable_1___System_Char = AsInterface(System_Collections_Generic_IEnumerable_1___System_Char))) | ~(System_Collections_IList = AsInterface(System_Collections_IList))) | ~(BoundedStack = AsMutable(A__questionmark_v_74_97a))) | ~(BoundedStack = A__questionmark_v_32_96a)) | ~(BoundedStack = AsDirectSubClass(A__questionmark_v_74_97a, A__questionmark_v_73_104a))) | ~(BoundedStack = A__questionmark_v_96_95a)) | ~(BoundedStack = A__questionmark_v_74_97a)) | ~(BoundedStack_elems = AsRepField(BoundedStack_elems, A__questionmark_v_74_97a))) | ~(BoundedStack_elems = AsNonNullRefField(BoundedStack_elems, IntArray(System_Int32, 1)))) | ~(BoundedStack_max = AsRangeField(BoundedStack_max, System_Int32))) | ~(7 = StringLength(stringLiteral10))) | ~(System_Object = BaseClass(A__questionmark_v_5_90a))) | ~(System_Object = A__questionmark_v_37_103a)) | ~(System_Object = DeclType(exposeVersion))) | ~(System_Object = BaseClass(System_Array))) | ~(System_Object = BaseClass(A__questionmark_v_72_92a))) | ~(System_Object = BaseClass(A__questionmark_v_74_97a))) | ~(System_Object = A__questionmark_v_73_104a)) | ~(System_Object = A__questionmark_v_3_94a)) | ~(System_Runtime_InteropServices__Type = AsInterface(System_Runtime_InteropServices__Type))) | ~(Microsoft_Contracts_ObjectInvariantException = AsDirectSubClass(Microsoft_Contracts_ObjectInvariantException, Microsoft_Contracts_GuardException))) | ~(Microsoft_Contracts_ObjectInvariantException = AsMutable(Microsoft_Contracts_ObjectInvariantException))) | ~(System_Collections_IEnumerable = AsInterface(System_Collections_IEnumerable))) | ~(System_String = AsDirectSubClass(System_String, System_Object))) | ~(System_String = AsImmutable(System_String))) | ~(System_Array = AsDirectSubClass(System_Array, System_Object))) | ~(System_Array = AsMutable(System_Array))) | ~(A__questionmark_v_78_99a = A__questionmark_v_79_98a)) | ~(System_Reflection_MemberInfo = AsDirectSubClass(A__questionmark_v_5_90a, System_Object))) | ~(System_Reflection_MemberInfo = AsImmutable(A__questionmark_v_5_90a))) | ~(System_Reflection_MemberInfo = A__questionmark_v_5_90a)) | ~(System_Runtime_InteropServices__Exception = AsInterface(System_Runtime_InteropServices__Exception))) | ~(System_IComparable = AsInterface(System_IComparable))) | ~(System_IEquatable_1___System_String = AsInterface(System_IEquatable_1___System_String))) | ~(false_1 = IsStaticField(elements))) | ~(false_1 = IsStaticField(allocated))) | ~(false_1 = IncludeInMainFrameCondition(FirstConsistentOwner))) | ~(false_1 = IsStaticField(BoundedStack_max))) | ~(false_1 = IsStaticField(inv))) | ~(false_1 = IsStaticField(BoundedStack_size))) | ~(false_1 = IsStaticField(BoundedStack_elems))) | ~(false_1 = IsStaticField(localinv))) | ~(false_1 = IncludeInMainFrameCondition(localinv))) | ~(false_1 = IsStaticField(exposeVersion))) | ~(false_1 = IncludeInMainFrameCondition(inv))) | ~(System_Runtime_InteropServices__MemberInfo = AsInterface(System_Runtime_InteropServices__MemberInfo))) | ~(System_ICloneable = AsInterface(System_ICloneable))) | ~(System_Reflection_IReflect = AsInterface(System_Reflection_IReflect))) | ~(System_Type = AsImmutable(System_Type))) | ~(System_Type = AsDirectSubClass(System_Type, A__questionmark_v_5_90a))) => (~((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((~(System_Collections_ICollection = AsInterface(System_Collections_ICollection)) | ~(true_1 = IncludeInMainFrameCondition(elements))) | ~(true_1 = IncludeInMainFrameCondition(BoundedStack_max))) | ~(true_1 = IncludeInMainFrameCondition(BoundedStack_elems))) | ~(true_1 = IncludeInMainFrameCondition(allocated))) | ~(true_1 = IncludeInMainFrameCondition(BoundedStack_size))) | ~(true_1 = IncludeInMainFrameCondition(ownerFrame))) | ~(true_1 = IncludeInMainFrameCondition(ownerRef))) | ~(true_1 = IncludeInMainFrameCondition(exposeVersion))) | ~(A__questionmark_v_16_101a = A__questionmark_v_71_102a)) | ~(BoundedStack_max = AsRangeField(BoundedStack_max, System_Int32))) | ~(System_IConvertible = AsInterface(System_IConvertible))) | ~(System_Runtime_Serialization_ISerializable = AsInterface(System_Runtime_Serialization_ISerializable))) | ~(System_Reflection_ICustomAttributeProvider = AsInterface(System_Reflection_ICustomAttributeProvider))) | ~(Microsoft_Contracts_ICheckedException = AsInterface(Microsoft_Contracts_ICheckedException))) | ~(1 = A__questionmark_v_2_89a)) | ~(13 = StringLength(stringLiteral8))) | ~(BoundedStack_size = AsRangeField(BoundedStack_size, System_Int32))) | ~(System_Exception = AsMutable(System_Exception))) | ~(System_Exception = A__questionmark_v_72_92a)) | ~(System_Exception = AsDirectSubClass(System_Exception, System_Object))) | ~(System_IComparable_1___System_String = AsInterface(System_IComparable_1___System_String))) | ~(Microsoft_Contracts_GuardException = A__questionmark_v_4_91a)) | ~(Microsoft_Contracts_GuardException = AsDirectSubClass(Microsoft_Contracts_GuardException, System_Exception))) | ~(Microsoft_Contracts_GuardException = AsMutable(A__questionmark_v_4_91a))) | ~(18 = StringLength(stringLiteral9))) | ~(System_Collections_Generic_IEnumerable_1___System_Char = AsInterface(System_Collections_Generic_IEnumerable_1___System_Char))) | ~(System_Collections_IList = AsInterface(System_Collections_IList))) | ~(System_IComparable = AsInterface(System_IComparable))) | ~(BoundedStack = AsMutable(A__questionmark_v_74_97a))) | ~(BoundedStack = A__questionmark_v_32_96a)) | ~(BoundedStack = AsDirectSubClass(A__questionmark_v_74_97a, System_Object))) | ~(BoundedStack = A__questionmark_v_96_95a)) | ~(BoundedStack = A__questionmark_v_74_97a)) | ~(BoundedStack_elems = AsNonNullRefField(BoundedStack_elems, IntArray(System_Int32, 1)))) | ~(BoundedStack_elems = AsRepField(BoundedStack_elems, BoundedStack))) | ~(7 = StringLength(stringLiteral10))) | ~(System_Object = BaseClass(System_Reflection_MemberInfo))) | ~(System_Object = A__questionmark_v_3_94a)) | ~(System_Object = DeclType(exposeVersion))) | ~(System_Object = BaseClass(System_Array))) | ~(System_Object = A__questionmark_v_37_103a)) | ~(System_Object = A__questionmark_v_73_104a)) | ~(System_Object = A__questionmark_v_99_93a)) | ~(System_Object = BaseClass(A__questionmark_v_74_97a))) | ~(System_Runtime_InteropServices__Type = AsInterface(System_Runtime_InteropServices__Type))) | ~(Microsoft_Contracts_ObjectInvariantException = AsDirectSubClass(Microsoft_Contracts_ObjectInvariantException, A__questionmark_v_4_91a))) | ~(Microsoft_Contracts_ObjectInvariantException = AsMutable(Microsoft_Contracts_ObjectInvariantException))) | ~(System_Collections_IEnumerable = AsInterface(System_Collections_IEnumerable))) | ~(System_String = AsDirectSubClass(System_String, System_Object))) | ~(System_String = AsImmutable(System_String))) | ~(System_Array = AsDirectSubClass(System_Array, System_Object))) | ~(System_Array = AsMutable(System_Array))) | ~(A__questionmark_v_79_98a = A__questionmark_v_78_99a)) | ~(System_Reflection_MemberInfo = AsDirectSubClass(System_Reflection_MemberInfo, System_Object))) | ~(System_Reflection_MemberInfo = AsImmutable(System_Reflection_MemberInfo))) | ~(System_Reflection_MemberInfo = A__questionmark_v_5_90a)) | ~(System_Runtime_InteropServices__Exception = AsInterface(System_Runtime_InteropServices__Exception))) | ~(System_IEquatable_1___System_String = AsInterface(System_IEquatable_1___System_String))) | ~(false_1 = IsStaticField(exposeVersion))) | ~(false_1 = IsStaticField(localinv))) | ~(false_1 = IsStaticField(inv))) | ~(false_1 = IsStaticField(BoundedStack_max))) | ~(false_1 = IsStaticField(elements))) | ~(false_1 = IsStaticField(BoundedStack_size))) | ~(false_1 = IsStaticField(BoundedStack_elems))) | ~(false_1 = IncludeInMainFrameCondition(localinv))) | ~(false_1 = IsStaticField(allocated))) | ~(false_1 = IncludeInMainFrameCondition(inv))) | ~(false_1 = IncludeInMainFrameCondition(FirstConsistentOwner))) | ~(System_Runtime_InteropServices__MemberInfo = AsInterface(System_Runtime_InteropServices__MemberInfo))) | ~(System_ICloneable = AsInterface(System_ICloneable))) | ~(System_Reflection_IReflect = AsInterface(System_Reflection_IReflect))) | ~(System_Type = AsImmutable(System_Type))) | ~(System_Type = AsDirectSubClass(System_Type, System_Reflection_MemberInfo))) => (~((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((~(System_Collections_ICollection = AsInterface(System_Collections_ICollection)) | ~(true_1 = IncludeInMainFrameCondition(elements))) | ~(true_1 = IncludeInMainFrameCondition(BoundedStack_max))) | ~(true_1 = IncludeInMainFrameCondition(BoundedStack_elems))) | ~(true_1 = IncludeInMainFrameCondition(allocated))) | ~(true_1 = IncludeInMainFrameCondition(BoundedStack_size))) | ~(true_1 = IncludeInMainFrameCondition(ownerFrame))) | ~(true_1 = IncludeInMainFrameCondition(ownerRef))) | ~(true_1 = IncludeInMainFrameCondition(exposeVersion))) | ~(A__questionmark_v_93_195a = A__questionmark_v_16_101a)) | ~(System_String = AsDirectSubClass(System_String, System_Object))) | ~(System_String = AsImmutable(System_String))) | ~(System_IConvertible = AsInterface(System_IConvertible))) | ~(System_Runtime_Serialization_ISerializable = AsInterface(System_Runtime_Serialization_ISerializable))) | ~(System_Reflection_ICustomAttributeProvider = AsInterface(System_Reflection_ICustomAttributeProvider))) | ~(Microsoft_Contracts_ICheckedException = AsInterface(Microsoft_Contracts_ICheckedException))) | ~(1 = A__questionmark_v_2_89a)) | ~(13 = StringLength(stringLiteral8))) | ~(BoundedStack_size = AsRangeField(BoundedStack_size, System_Int32))) | ~(System_Exception = AsDirectSubClass(A__questionmark_v_94_193a, A__questionmark_v_73_104a))) | ~(System_Exception = A__questionmark_v_94_193a)) | ~(System_Exception = AsMutable(A__questionmark_v_94_193a))) | ~(System_IComparable_1___System_String = AsInterface(System_IComparable_1___System_String))) | ~(Microsoft_Contracts_GuardException = A__questionmark_v_4_91a)) | ~(Microsoft_Contracts_GuardException = AsDirectSubClass(Microsoft_Contracts_GuardException, A__questionmark_v_94_193a))) | ~(Microsoft_Contracts_GuardException = AsMutable(A__questionmark_v_4_91a))) | ~(18 = StringLength(stringLiteral9))) | ~(System_Collections_Generic_IEnumerable_1___System_Char = AsInterface(System_Collections_Generic_IEnumerable_1___System_Char))) | ~(System_Collections_IList = AsInterface(System_Collections_IList))) | ~(System_IComparable = AsInterface(System_IComparable))) | ~(BoundedStack = A__questionmark_v_74_97a)) | ~(BoundedStack = A__questionmark_v_32_96a)) | ~(BoundedStack = AsDirectSubClass(A__questionmark_v_96_95a, System_Object))) | ~(BoundedStack = AsMutable(A__questionmark_v_96_95a))) | ~(BoundedStack = A__questionmark_v_96_95a)) | ~(BoundedStack_elems = AsRepField(BoundedStack_elems, A__questionmark_v_96_95a))) | ~(BoundedStack_elems = AsNonNullRefField(BoundedStack_elems, IntArray(System_Int32, A__questionmark_v_2_89a)))) | ~(BoundedStack_max = AsRangeField(BoundedStack_max, System_Int32))) | ~(System_Object = BaseClass(A__questionmark_v_94_193a))) | ~(System_Object = BaseClass(A__questionmark_v_5_90a))) | ~(System_Object = DeclType(exposeVersion))) | ~(System_Object = BaseClass(A__questionmark_v_96_95a))) | ~(System_Object = BaseClass(System_Array))) | ~(System_Object = A__questionmark_v_37_103a)) | ~(System_Object = A__questionmark_v_73_104a)) | ~(System_Object = A__questionmark_v_3_94a)) | ~(System_Runtime_InteropServices__Type = AsInterface(System_Runtime_InteropServices__Type))) | ~(Microsoft_Contracts_ObjectInvariantException = AsDirectSubClass(Microsoft_Contracts_ObjectInvariantException, Microsoft_Contracts_GuardException))) | ~(Microsoft_Contracts_ObjectInvariantException = AsMutable(Microsoft_Contracts_ObjectInvariantException))) | ~(System_Collections_IEnumerable = AsInterface(System_Collections_IEnumerable))) | ~(System_Array = AsDirectSubClass(System_Array, System_Object))) | ~(System_Array = AsMutable(System_Array))) | ~(7 = StringLength(stringLiteral10))) | ~(System_Reflection_MemberInfo = AsDirectSubClass(System_Reflection_MemberInfo, System_Object))) | ~(System_Reflection_MemberInfo = AsImmutable(A__questionmark_v_5_90a))) | ~(System_Reflection_MemberInfo = A__questionmark_v_5_90a)) | ~(A__questionmark_v_79_98a = A__questionmark_v_106_183a)) | ~(System_Runtime_InteropServices__Exception = AsInterface(System_Runtime_InteropServices__Exception))) | ~(System_ICloneable = AsInterface(System_ICloneable))) | ~(System_IEquatable_1___System_String = AsInterface(System_IEquatable_1___System_String))) | ~(false_1 = IsStaticField(elements))) | ~(false_1 = IsStaticField(localinv))) | ~(false_1 = IsStaticField(inv))) | ~(false_1 = IsStaticField(BoundedStack_max))) | ~(false_1 = IsStaticField(BoundedStack_size))) | ~(false_1 = IsStaticField(BoundedStack_elems))) | ~(false_1 = IncludeInMainFrameCondition(localinv))) | ~(false_1 = IsStaticField(exposeVersion))) | ~(false_1 = IsStaticField(allocated))) | ~(false_1 = IncludeInMainFrameCondition(inv))) | ~(false_1 = IncludeInMainFrameCondition(FirstConsistentOwner))) | ~(System_Runtime_InteropServices__MemberInfo = AsInterface(System_Runtime_InteropServices__MemberInfo))) | ~(System_Reflection_IReflect = AsInterface(System_Reflection_IReflect))) | ~(System_Type = AsImmutable(System_Type))) | ~(System_Type = AsDirectSubClass(System_Type, System_Reflection_MemberInfo))) => ~(~~(this = nullObject) | ~(~(this = nullObject) => ((return_value_0 = select2(Heap, this, BoundedStack_max)) => (~((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((~(System_Collections_ICollection = AsInterface(System_Collections_ICollection)) | ~(System_Runtime_Serialization_ISerializable = AsInterface(System_Runtime_Serialization_ISerializable))) | ~(A__questionmark_v_16_101a = A__questionmark_v_71_102a)) | ~(System_IConvertible = AsInterface(System_IConvertible))) | ~(System_Reflection_ICustomAttributeProvider = AsInterface(System_Reflection_ICustomAttributeProvider))) | ~(return_value_0 = select2(Heap, this, BoundedStack_max))) | ~(Microsoft_Contracts_ICheckedException = AsInterface(Microsoft_Contracts_ICheckedException))) | ~(1 = A__questionmark_v_2_89a)) | ~(13 = StringLength(stringLiteral8))) | ~(BoundedStack_size = AsRangeField(BoundedStack_size, System_Int32))) | ~(System_Exception = A__questionmark_v_72_92a)) | ~(System_Exception = AsDirectSubClass(System_Exception, A__questionmark_v_99_93a))) | ~(System_Exception = AsMutable(System_Exception))) | ~(System_IComparable_1___System_String = AsInterface(System_IComparable_1___System_String))) | ~(Microsoft_Contracts_GuardException = A__questionmark_v_4_91a)) | ~(Microsoft_Contracts_GuardException = AsDirectSubClass(Microsoft_Contracts_GuardException, System_Exception))) | ~(Microsoft_Contracts_GuardException = AsMutable(Microsoft_Contracts_GuardException))) | ~(18 = StringLength(stringLiteral9))) | ~(System_Collections_Generic_IEnumerable_1___System_Char = AsInterface(System_Collections_Generic_IEnumerable_1___System_Char))) | ~(true_1 = IncludeInMainFrameCondition(elements))) | ~(true_1 = IncludeInMainFrameCondition(BoundedStack_max))) | ~(true_1 = IncludeInMainFrameCondition(BoundedStack_elems))) | ~(true_1 = IncludeInMainFrameCondition(allocated))) | ~(true_1 = IncludeInMainFrameCondition(BoundedStack_size))) | ~(true_1 = IncludeInMainFrameCondition(ownerFrame))) | ~(true_1 = IncludeInMainFrameCondition(ownerRef))) | ~(true_1 = IncludeInMainFrameCondition(exposeVersion))) | ~(true_1 = anyNeq(this, nullObject))) | ~(System_Collections_IList = AsInterface(System_Collections_IList))) | ~(System_IComparable = AsInterface(System_IComparable))) | ~(BoundedStack = AsMutable(A__questionmark_v_74_97a))) | ~(BoundedStack = A__questionmark_v_32_96a)) | ~(BoundedStack = A__questionmark_v_74_97a)) | ~(BoundedStack = A__questionmark_v_96_95a)) | ~(BoundedStack = AsDirectSubClass(A__questionmark_v_74_97a, A__questionmark_v_99_93a))) | ~(BoundedStack_elems = AsRepField(BoundedStack_elems, A__questionmark_v_74_97a))) | ~(BoundedStack_elems = AsNonNullRefField(BoundedStack_elems, IntArray(System_Int32, 1)))) | ~(7 = StringLength(stringLiteral10))) | ~(System_Object = BaseClass(System_Reflection_MemberInfo))) | ~(System_Object = DeclType(exposeVersion))) | ~(System_Object = BaseClass(System_Array))) | ~(System_Object = A__questionmark_v_37_103a)) | ~(System_Object = A__questionmark_v_73_104a)) | ~(System_Object = A__questionmark_v_99_93a)) | ~(System_Object = A__questionmark_v_3_94a)) | ~(System_Object = BaseClass(BoundedStack))) | ~(System_Runtime_InteropServices__Type = AsInterface(System_Runtime_InteropServices__Type))) | ~(Microsoft_Contracts_ObjectInvariantException = AsDirectSubClass(Microsoft_Contracts_ObjectInvariantException, Microsoft_Contracts_GuardException))) | ~(Microsoft_Contracts_ObjectInvariantException = AsMutable(Microsoft_Contracts_ObjectInvariantException))) | ~(System_Collections_IEnumerable = AsInterface(System_Collections_IEnumerable))) | ~(System_String = AsDirectSubClass(System_String, System_Object))) | ~(System_String = AsImmutable(System_String))) | ~(System_Array = AsDirectSubClass(System_Array, System_Object))) | ~(System_Array = AsMutable(System_Array))) | ~(A__questionmark_v_78_99a = A__questionmark_v_79_98a)) | ~(System_Reflection_MemberInfo = AsDirectSubClass(System_Reflection_MemberInfo, A__questionmark_v_99_93a))) | ~(System_Reflection_MemberInfo = AsImmutable(System_Reflection_MemberInfo))) | ~(System_Reflection_MemberInfo = A__questionmark_v_5_90a)) | ~(System_Runtime_InteropServices__Exception = AsInterface(System_Runtime_InteropServices__Exception))) | ~(BoundedStack_max = AsRangeField(BoundedStack_max, System_Int32))) | ~(System_IEquatable_1___System_String = AsInterface(System_IEquatable_1___System_String))) | ~(false_1 = IsStaticField(exposeVersion))) | ~(false_1 = IsStaticField(allocated))) | ~(false_1 = IsStaticField(inv))) | ~(false_1 = IsStaticField(BoundedStack_max))) | ~(false_1 = IsStaticField(elements))) | ~(false_1 = IsStaticField(BoundedStack_size))) | ~(false_1 = IsStaticField(BoundedStack_elems))) | ~(false_1 = IsStaticField(localinv))) | ~(false_1 = IncludeInMainFrameCondition(localinv))) | ~(false_1 = IncludeInMainFrameCondition(inv))) | ~(false_1 = IncludeInMainFrameCondition(FirstConsistentOwner))) | ~(System_Runtime_InteropServices__MemberInfo = AsInterface(System_Runtime_InteropServices__MemberInfo))) | ~(System_ICloneable = AsInterface(System_ICloneable))) | ~(System_Reflection_IReflect = AsInterface(System_Reflection_IReflect))) | ~(System_Type = AsImmutable(System_Type))) | ~(System_Type = AsDirectSubClass(System_Type, System_Reflection_MemberInfo))) => (~((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((~(System_Collections_ICollection = AsInterface(System_Collections_ICollection)) | ~(System_Runtime_Serialization_ISerializable = AsInterface(System_Runtime_Serialization_ISerializable))) | ~(A__questionmark_v_16_101a = A__questionmark_v_71_102a)) | ~(System_String = AsImmutable(System_String))) | ~(System_String = AsDirectSubClass(System_String, A__questionmark_v_99_93a))) | ~(System_IConvertible = AsInterface(System_IConvertible))) | ~(System_Reflection_ICustomAttributeProvider = AsInterface(System_Reflection_ICustomAttributeProvider))) | ~(return_value_0 = select2(Heap, this, BoundedStack_max))) | ~(Microsoft_Contracts_ICheckedException = AsInterface(Microsoft_Contracts_ICheckedException))) | ~(System_Reflection_MemberInfo = AsDirectSubClass(System_Reflection_MemberInfo, System_Object))) | ~(System_Reflection_MemberInfo = AsImmutable(System_Reflection_MemberInfo))) | ~(System_Reflection_MemberInfo = A__questionmark_v_5_90a)) | ~(1 = A__questionmark_v_2_89a)) | ~(13 = StringLength(stringLiteral8))) | ~(BoundedStack_size = AsRangeField(BoundedStack_size, System_Int32))) | ~(true_1 = IncludeInMainFrameCondition(elements))) | ~(true_1 = IncludeInMainFrameCondition(BoundedStack_max))) | ~(true_1 = IncludeInMainFrameCondition(BoundedStack_elems))) | ~(true_1 = IncludeInMainFrameCondition(BoundedStack_size))) | ~(true_1 = IncludeInMainFrameCondition(ownerFrame))) | ~(true_1 = IncludeInMainFrameCondition(ownerRef))) | ~(true_1 = IncludeInMainFrameCondition(allocated))) | ~(true_1 = IncludeInMainFrameCondition(exposeVersion))) | ~(true_1 = anyNeq(this, nullObject))) | ~(System_Exception = A__questionmark_v_72_92a)) | ~(System_Exception = AsMutable(System_Exception))) | ~(System_Exception = AsDirectSubClass(System_Exception, System_Object))) | ~(System_IComparable_1___System_String = AsInterface(System_IComparable_1___System_String))) | ~(Microsoft_Contracts_GuardException = A__questionmark_v_4_91a)) | ~(Microsoft_Contracts_GuardException = AsDirectSubClass(Microsoft_Contracts_GuardException, System_Exception))) | ~(Microsoft_Contracts_GuardException = AsMutable(Microsoft_Contracts_GuardException))) | ~(18 = StringLength(stringLiteral9))) | ~(System_Collections_Generic_IEnumerable_1___System_Char = AsInterface(System_Collections_Generic_IEnumerable_1___System_Char))) | ~(System_Collections_IList = AsInterface(System_Collections_IList))) | ~(System_IComparable = AsInterface(System_IComparable))) | ~(BoundedStack = A__questionmark_v_74_97a)) | ~(BoundedStack = A__questionmark_v_32_96a)) | ~(BoundedStack = AsDirectSubClass(BoundedStack, System_Object))) | ~(BoundedStack = A__questionmark_v_96_95a)) | ~(BoundedStack = AsMutable(BoundedStack))) | ~(System_Array = AsDirectSubClass(System_Array, System_Object))) | ~(System_Array = AsMutable(System_Array))) | ~(BoundedStack_elems = AsNonNullRefField(BoundedStack_elems, IntArray(System_Int32, 1)))) | ~(BoundedStack_elems = AsRepField(BoundedStack_elems, BoundedStack))) | ~(BoundedStack_max = AsRangeField(BoundedStack_max, System_Int32))) | ~(System_Object = BaseClass(System_Reflection_MemberInfo))) | ~(System_Object = DeclType(exposeVersion))) | ~(System_Object = BaseClass(System_Array))) | ~(System_Object = A__questionmark_v_37_103a)) | ~(System_Object = A__questionmark_v_73_104a)) | ~(System_Object = A__questionmark_v_99_93a)) | ~(System_Object = A__questionmark_v_3_94a)) | ~(System_Object = BaseClass(BoundedStack))) | ~(System_Runtime_InteropServices__Type = AsInterface(System_Runtime_InteropServices__Type))) | ~(Microsoft_Contracts_ObjectInvariantException = AsDirectSubClass(Microsoft_Contracts_ObjectInvariantException, Microsoft_Contracts_GuardException))) | ~(Microsoft_Contracts_ObjectInvariantException = AsMutable(Microsoft_Contracts_ObjectInvariantException))) | ~(System_Collections_IEnumerable = AsInterface(System_Collections_IEnumerable))) | ~(7 = StringLength(stringLiteral10))) | ~(A__questionmark_v_106_183a = A__questionmark_v_79_98a)) | ~(System_Runtime_InteropServices__Exception = AsInterface(System_Runtime_InteropServices__Exception))) | ~(System_IEquatable_1___System_String = AsInterface(System_IEquatable_1___System_String))) | ~(false_1 = IsStaticField(elements))) | ~(false_1 = IsStaticField(localinv))) | ~(false_1 = IncludeInMainFrameCondition(FirstConsistentOwner))) | ~(false_1 = IsStaticField(BoundedStack_max))) | ~(false_1 = IsStaticField(inv))) | ~(false_1 = IsStaticField(BoundedStack_size))) | ~(false_1 = IsStaticField(BoundedStack_elems))) | ~(false_1 = IncludeInMainFrameCondition(localinv))) | ~(false_1 = IsStaticField(exposeVersion))) | ~(false_1 = IsStaticField(allocated))) | ~(false_1 = IncludeInMainFrameCondition(inv))) | ~(System_Runtime_InteropServices__MemberInfo = AsInterface(System_Runtime_InteropServices__MemberInfo))) | ~(System_ICloneable = AsInterface(System_ICloneable))) | ~(System_Reflection_IReflect = AsInterface(System_Reflection_IReflect))) | ~(System_Type = AsImmutable(System_Type))) | ~(System_Type = AsDirectSubClass(System_Type, System_Reflection_MemberInfo))) => (~(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((~(System_Collections_ICollection = AsInterface(System_Collections_ICollection)) | ~(System_Runtime_Serialization_ISerializable = AsInterface(System_Runtime_Serialization_ISerializable))) | ~(A__questionmark_v_16_101a = A__questionmark_v_71_102a)) | ~(System_IConvertible = AsInterface(System_IConvertible))) | ~(System_Reflection_ICustomAttributeProvider = AsInterface(System_Reflection_ICustomAttributeProvider))) | ~(return_value_0 = select2(Heap, this, BoundedStack_max))) | ~(return_value_0 = return_value_0)) | ~(return_value_0 = return_value_0)) | ~(return_value_0 = return_value_0)) | ~(Microsoft_Contracts_ICheckedException = AsInterface(Microsoft_Contracts_ICheckedException))) | ~(1 = A__questionmark_v_2_89a)) | ~(13 = StringLength(stringLiteral8))) | ~(BoundedStack_size = AsRangeField(BoundedStack_size, System_Int32))) | ~(System_Exception = A__questionmark_v_72_92a)) | ~(System_Exception = AsMutable(System_Exception))) | ~(System_Exception = AsDirectSubClass(System_Exception, A__questionmark_v_37_103a))) | ~(System_IComparable_1___System_String = AsInterface(System_IComparable_1___System_String))) | ~(Microsoft_Contracts_GuardException = A__questionmark_v_4_91a)) | ~(Microsoft_Contracts_GuardException = AsDirectSubClass(Microsoft_Contracts_GuardException, System_Exception))) | ~(Microsoft_Contracts_GuardException = AsMutable(Microsoft_Contracts_GuardException))) | ~(18 = StringLength(stringLiteral9))) | ~(System_Collections_Generic_IEnumerable_1___System_Char = AsInterface(System_Collections_Generic_IEnumerable_1___System_Char))) | ~(true_1 = IncludeInMainFrameCondition(elements))) | ~(true_1 = IncludeInMainFrameCondition(BoundedStack_max))) | ~(true_1 = IncludeInMainFrameCondition(BoundedStack_elems))) | ~(true_1 = IncludeInMainFrameCondition(allocated))) | ~(true_1 = IncludeInMainFrameCondition(BoundedStack_size))) | ~(true_1 = IncludeInMainFrameCondition(ownerFrame))) | ~(true_1 = IncludeInMainFrameCondition(ownerRef))) | ~(true_1 = IncludeInMainFrameCondition(exposeVersion))) | ~(true_1 = anyNeq(this, nullObject))) | ~(System_Collections_IList = AsInterface(System_Collections_IList))) | ~(System_IComparable = AsInterface(System_IComparable))) | ~(BoundedStack = A__questionmark_v_74_97a)) | ~(BoundedStack = AsDirectSubClass(BoundedStack, System_Object))) | ~(BoundedStack = A__questionmark_v_32_96a)) | ~(BoundedStack = AsMutable(A__questionmark_v_96_95a))) | ~(BoundedStack = A__questionmark_v_96_95a)) | ~(BoundedStack_elems = AsNonNullRefField(BoundedStack_elems, IntArray(System_Int32, 1)))) | ~(BoundedStack_elems = AsRepField(BoundedStack_elems, BoundedStack))) | ~(System_Object = BaseClass(System_Reflection_MemberInfo))) | ~(System_Object = DeclType(exposeVersion))) | ~(System_Object = BaseClass(A__questionmark_v_96_95a))) | ~(System_Object = BaseClass(System_Array))) | ~(System_Object = A__questionmark_v_37_103a)) | ~(System_Object = A__questionmark_v_73_104a)) | ~(System_Object = A__questionmark_v_99_93a)) | ~(System_Object = A__questionmark_v_3_94a)) | ~(System_Runtime_InteropServices__Type = AsInterface(System_Runtime_InteropServices__Type))) | ~(Microsoft_Contracts_ObjectInvariantException = AsDirectSubClass(Microsoft_Contracts_ObjectInvariantException, Microsoft_Contracts_GuardException))) | ~(Microsoft_Contracts_ObjectInvariantException = AsMutable(Microsoft_Contracts_ObjectInvariantException))) | ~(System_Collections_IEnumerable = AsInterface(System_Collections_IEnumerable))) | ~(System_String = AsDirectSubClass(System_String, System_Object))) | ~(System_String = AsImmutable(System_String))) | ~(System_Array = AsDirectSubClass(System_Array, System_Object))) | ~(System_Array = AsMutable(System_Array))) | ~(A__questionmark_v_78_99a = A__questionmark_v_79_98a)) | ~(7 = StringLength(stringLiteral10))) | ~(System_Reflection_MemberInfo = AsDirectSubClass(System_Reflection_MemberInfo, A__questionmark_v_37_103a))) | ~(System_Reflection_MemberInfo = AsImmutable(System_Reflection_MemberInfo))) | ~(System_Reflection_MemberInfo = A__questionmark_v_5_90a)) | ~(BoundedStack_max = AsRangeField(BoundedStack_max, System_Int32))) | ~(System_Runtime_InteropServices__Exception = AsInterface(System_Runtime_InteropServices__Exception))) | ~(System_ICloneable = AsInterface(System_ICloneable))) | ~(System_IEquatable_1___System_String = AsInterface(System_IEquatable_1___System_String))) | ~(false_1 = IsStaticField(elements))) | ~(false_1 = IsStaticField(allocated))) | ~(false_1 = IsStaticField(inv))) | ~(false_1 = IsStaticField(BoundedStack_max))) | ~(false_1 = IsStaticField(BoundedStack_size))) | ~(false_1 = IsStaticField(BoundedStack_elems))) | ~(false_1 = IsStaticField(localinv))) | ~(false_1 = IncludeInMainFrameCondition(localinv))) | ~(false_1 = IsStaticField(exposeVersion))) | ~(false_1 = IncludeInMainFrameCondition(inv))) | ~(false_1 = IncludeInMainFrameCondition(FirstConsistentOwner))) | ~(System_Runtime_InteropServices__MemberInfo = AsInterface(System_Runtime_InteropServices__MemberInfo))) | ~(System_Reflection_IReflect = AsInterface(System_Reflection_IReflect))) | ~(System_Type = AsImmutable(System_Type))) | ~(System_Type = AsDirectSubClass(System_Type, System_Reflection_MemberInfo))) => ~(~(![A__questionmark_o_1a:$int, A__questionmark_f_1a:$int]: (?[A__questionmark_v_115_203a:$int, A__questionmark_v_113_204a:$int, A__questionmark_v_114_205a:$int]: ((((A__questionmark_v_115_203a = select2(Heap, A__questionmark_o_1a, A__questionmark_f_1a)) & (A__questionmark_v_113_204a = select2(Heap, A__questionmark_o_1a, ownerFrame))) & (A__questionmark_v_114_205a = select2(Heap, A__questionmark_o_1a, ownerRef))) & (~((((~(IncludeInMainFrameCondition(A__questionmark_f_1a) = true_1) | ~~(A__questionmark_o_1a = nullObject)) | ~(select2(Heap, A__questionmark_o_1a, allocated) = true_1)) | ~(((A__questionmark_v_113_204a = PeerGroupPlaceholder) | ~(x(select2(Heap, A__questionmark_v_114_205a, inv), A__questionmark_v_113_204a) = true_1)) | (select2(Heap, A__questionmark_v_114_205a, localinv) = BaseClass(A__questionmark_v_113_204a)))) | ~((~(A__questionmark_o_1a = this) | ~(x(typeof(this), DeclType(A__questionmark_f_1a)) = true_1)) | ~(IncludedInModifiesStar(A__questionmark_f_1a) = true_1))) => (A__questionmark_v_115_203a = A__questionmark_v_115_203a))))) | ~((![A__questionmark_o_1a:$int, A__questionmark_f_1a:$int]: (?[A__questionmark_v_115_206a:$int, A__questionmark_v_113_207a:$int, A__questionmark_v_114_208a:$int]: ((((A__questionmark_v_115_206a = select2(Heap, A__questionmark_o_1a, A__questionmark_f_1a)) & (A__questionmark_v_113_207a = select2(Heap, A__questionmark_o_1a, ownerFrame))) & (A__questionmark_v_114_208a = select2(Heap, A__questionmark_o_1a, ownerRef))) & (~((((~(IncludeInMainFrameCondition(A__questionmark_f_1a) = true_1) | ~~(A__questionmark_o_1a = nullObject)) | ~(select2(Heap, A__questionmark_o_1a, allocated) = true_1)) | ~(((A__questionmark_v_113_207a = PeerGroupPlaceholder) | ~(x(select2(Heap, A__questionmark_v_114_208a, inv), A__questionmark_v_113_207a) = true_1)) | (select2(Heap, A__questionmark_v_114_208a, localinv) = BaseClass(A__questionmark_v_113_207a)))) | ~((~(A__questionmark_o_1a = this) | ~(x(typeof(this), DeclType(A__questionmark_f_1a)) = true_1)) | ~(IncludedInModifiesStar(A__questionmark_f_1a) = true_1))) => (A__questionmark_v_115_206a = A__questionmark_v_115_206a))))) => $true)))))))))))))))))))))))))))), file('/export/starexec/sandbox2/benchmark/theBenchmark.p', formula_3)).
% 106.12/75.59 tff(f_8426, axiom, (?[A__questionmark_v_7_2a:$int, A__questionmark_v_6_3a:$int, A__questionmark_v_5_4a:$int, A__questionmark_v_4_5a:$int, A__questionmark_v_3_6a:$int, A__questionmark_v_2_7a:$int, A__questionmark_v_0_8a:$int, A__questionmark_v_1_9a:$int]: (((((((((A__questionmark_v_7_2a = BaseClass(System_Type)) & (A__questionmark_v_6_3a = BaseClass(System_Reflection_MemberInfo))) & (A__questionmark_v_5_4a = BaseClass(Microsoft_Contracts_ObjectInvariantException))) & (A__questionmark_v_4_5a = BaseClass(Microsoft_Contracts_GuardException))) & (A__questionmark_v_3_6a = BaseClass(System_Exception))) & (A__questionmark_v_2_7a = BaseClass(System_String))) & (A__questionmark_v_0_8a = BaseClass(BoundedStack))) & (A__questionmark_v_1_9a = BaseClass(System_Array))) & ~((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((~(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((~(allocated = elements) & ~(allocated = inv)) & ~(allocated = localinv)) & ~(allocated = exposeVersion)) & ~(allocated = sharingMode)) & ~(allocated = SharingMode_Unshared)) & ~(allocated = SharingMode_LockProtected)) & ~(allocated = ownerRef)) & ~(allocated = ownerFrame)) & ~(allocated = PeerGroupPlaceholder)) & ~(allocated = ArrayCategoryValue)) & ~(allocated = ArrayCategoryInt)) & ~(allocated = ArrayCategoryRef)) & ~(allocated = ArrayCategoryNonNullRef)) & ~(allocated = System_Array)) & ~(allocated = System_Boolean)) & ~(allocated = System_Object)) & ~(allocated = System_Type)) & ~(allocated = NonNullFieldsAreInitialized)) & ~(allocated = System_String)) & ~(allocated = FirstConsistentOwner)) & ~(allocated = System_SByte)) & ~(allocated = System_Byte)) & ~(allocated = System_Int16)) & ~(allocated = System_UInt16)) & ~(allocated = System_Int32)) & ~(allocated = System_UInt32)) & ~(allocated = System_Int64)) & ~(allocated = System_UInt64)) & ~(allocated = System_Char)) & ~(allocated = System_UIntPtr)) & ~(allocated = System_IntPtr)) & ~(allocated = BoundedStack_max)) & ~(allocated = BoundedStack_size)) & ~(allocated = BoundedStack_elems)) & ~(allocated = System_Exception)) & ~(allocated = System_IComparable)) & ~(allocated = System_Collections_ICollection)) & ~(allocated = System_ICloneable)) & ~(allocated = Microsoft_Contracts_ICheckedException)) & ~(allocated = System_IConvertible)) & ~(allocated = System_Reflection_MemberInfo)) & ~(allocated = System_Collections_IEnumerable)) & ~(allocated = System_Runtime_InteropServices__MemberInfo)) & ~(allocated = System_Reflection_ICustomAttributeProvider)) & ~(allocated = System_Runtime_InteropServices__Exception)) & ~(allocated = Microsoft_Contracts_GuardException)) & ~(allocated = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(allocated = System_Reflection_IReflect)) & ~(allocated = System_Runtime_Serialization_ISerializable)) & ~(allocated = BoundedStack)) & ~(allocated = System_IEquatable_1___System_String)) & ~(allocated = System_Runtime_InteropServices__Type)) & ~(allocated = System_IComparable_1___System_String)) & ~(allocated = System_Collections_IList)) & ~(allocated = Microsoft_Contracts_ObjectInvariantException)) & ~(allocated = stringLiteral8)) & ~(allocated = stringLiteral9)) & ~(allocated = stringLiteral10)) & ~(allocated = stringLiteral11)) & ~(elements = inv)) & ~(elements = localinv)) & ~(elements = exposeVersion)) & ~(elements = sharingMode)) & ~(elements = SharingMode_Unshared)) & ~(elements = SharingMode_LockProtected)) & ~(elements = ownerRef)) & ~(elements = ownerFrame)) & ~(elements = PeerGroupPlaceholder)) & ~(elements = ArrayCategoryValue)) & ~(elements = ArrayCategoryInt)) & ~(elements = ArrayCategoryRef)) & ~(elements = ArrayCategoryNonNullRef)) & ~(elements = System_Array)) & ~(elements = System_Boolean)) & ~(elements = System_Object)) & ~(elements = System_Type)) & ~(elements = NonNullFieldsAreInitialized)) & ~(elements = System_String)) & ~(elements = FirstConsistentOwner)) & ~(elements = System_SByte)) & ~(elements = System_Byte)) & ~(elements = System_Int16)) & ~(elements = System_UInt16)) & ~(elements = System_Int32)) & ~(elements = System_UInt32)) & ~(elements = System_Int64)) & ~(elements = System_UInt64)) & ~(elements = System_Char)) & ~(elements = System_UIntPtr)) & ~(elements = System_IntPtr)) & ~(elements = BoundedStack_max)) & ~(elements = BoundedStack_size)) & ~(elements = BoundedStack_elems)) & ~(elements = System_Exception)) & ~(elements = System_IComparable)) & ~(elements = System_Collections_ICollection)) & ~(elements = System_ICloneable)) & ~(elements = Microsoft_Contracts_ICheckedException)) & ~(elements = System_IConvertible)) & ~(elements = System_Reflection_MemberInfo)) & ~(elements = System_Collections_IEnumerable)) & ~(elements = System_Runtime_InteropServices__MemberInfo)) & ~(elements = System_Reflection_ICustomAttributeProvider)) & ~(elements = System_Runtime_InteropServices__Exception)) & ~(elements = Microsoft_Contracts_GuardException)) & ~(elements = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(elements = System_Reflection_IReflect)) & ~(elements = System_Runtime_Serialization_ISerializable)) & ~(elements = BoundedStack)) & ~(elements = System_IEquatable_1___System_String)) & ~(elements = System_Runtime_InteropServices__Type)) & ~(elements = System_IComparable_1___System_String)) & ~(elements = System_Collections_IList)) & ~(elements = Microsoft_Contracts_ObjectInvariantException)) & ~(elements = stringLiteral8)) & ~(elements = stringLiteral9)) & ~(elements = stringLiteral10)) & ~(elements = stringLiteral11)) & ~(inv = localinv)) & ~(inv = exposeVersion)) & ~(inv = sharingMode)) & ~(inv = SharingMode_Unshared)) & ~(inv = SharingMode_LockProtected)) & ~(inv = ownerRef)) & ~(inv = ownerFrame)) & ~(inv = PeerGroupPlaceholder)) & ~(inv = ArrayCategoryValue)) & ~(inv = ArrayCategoryInt)) & ~(inv = ArrayCategoryRef)) & ~(inv = ArrayCategoryNonNullRef)) & ~(inv = System_Array)) & ~(inv = System_Boolean)) & ~(inv = System_Object)) & ~(inv = System_Type)) & ~(inv = NonNullFieldsAreInitialized)) & ~(inv = System_String)) & ~(inv = FirstConsistentOwner)) & ~(inv = System_SByte)) & ~(inv = System_Byte)) & ~(inv = System_Int16)) & ~(inv = System_UInt16)) & ~(inv = System_Int32)) & ~(inv = System_UInt32)) & ~(inv = System_Int64)) & ~(inv = System_UInt64)) & ~(inv = System_Char)) & ~(inv = System_UIntPtr)) & ~(inv = System_IntPtr)) & ~(inv = BoundedStack_max)) & ~(inv = BoundedStack_size)) & ~(inv = BoundedStack_elems)) & ~(inv = System_Exception)) & ~(inv = System_IComparable)) & ~(inv = System_Collections_ICollection)) & ~(inv = System_ICloneable)) & ~(inv = Microsoft_Contracts_ICheckedException)) & ~(inv = System_IConvertible)) & ~(inv = System_Reflection_MemberInfo)) & ~(inv = System_Collections_IEnumerable)) & ~(inv = System_Runtime_InteropServices__MemberInfo)) & ~(inv = System_Reflection_ICustomAttributeProvider)) & ~(inv = System_Runtime_InteropServices__Exception)) & ~(inv = Microsoft_Contracts_GuardException)) & ~(inv = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(inv = System_Reflection_IReflect)) & ~(inv = System_Runtime_Serialization_ISerializable)) & ~(inv = BoundedStack)) & ~(inv = System_IEquatable_1___System_String)) & ~(inv = System_Runtime_InteropServices__Type)) & ~(inv = System_IComparable_1___System_String)) & ~(inv = System_Collections_IList)) & ~(inv = Microsoft_Contracts_ObjectInvariantException)) & ~(inv = stringLiteral8)) & ~(inv = stringLiteral9)) & ~(inv = stringLiteral10)) & ~(inv = stringLiteral11)) & ~(localinv = exposeVersion)) & ~(localinv = sharingMode)) & ~(localinv = SharingMode_Unshared)) & ~(localinv = SharingMode_LockProtected)) & ~(localinv = ownerRef)) & ~(localinv = ownerFrame)) & ~(localinv = PeerGroupPlaceholder)) & ~(localinv = ArrayCategoryValue)) & ~(localinv = ArrayCategoryInt)) & ~(localinv = ArrayCategoryRef)) & ~(localinv = ArrayCategoryNonNullRef)) & ~(localinv = System_Array)) & ~(localinv = System_Boolean)) & ~(localinv = System_Object)) & ~(localinv = System_Type)) & ~(localinv = NonNullFieldsAreInitialized)) & ~(localinv = System_String)) & ~(localinv = FirstConsistentOwner)) & ~(localinv = System_SByte)) & ~(localinv = System_Byte)) & ~(localinv = System_Int16)) & ~(localinv = System_UInt16)) & ~(localinv = System_Int32)) & ~(localinv = System_UInt32)) & ~(localinv = System_Int64)) & ~(localinv = System_UInt64)) & ~(localinv = System_Char)) & ~(localinv = System_UIntPtr)) & ~(localinv = System_IntPtr)) & ~(localinv = BoundedStack_max)) & ~(localinv = BoundedStack_size)) & ~(localinv = BoundedStack_elems)) & ~(localinv = System_Exception)) & ~(localinv = System_IComparable)) & ~(localinv = System_Collections_ICollection)) & ~(localinv = System_ICloneable)) & ~(localinv = Microsoft_Contracts_ICheckedException)) & ~(localinv = System_IConvertible)) & ~(localinv = System_Reflection_MemberInfo)) & ~(localinv = System_Collections_IEnumerable)) & ~(localinv = System_Runtime_InteropServices__MemberInfo)) & ~(localinv = System_Reflection_ICustomAttributeProvider)) & ~(localinv = System_Runtime_InteropServices__Exception)) & ~(localinv = Microsoft_Contracts_GuardException)) & ~(localinv = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(localinv = System_Reflection_IReflect)) & ~(localinv = System_Runtime_Serialization_ISerializable)) & ~(localinv = BoundedStack)) & ~(localinv = System_IEquatable_1___System_String)) & ~(localinv = System_Runtime_InteropServices__Type)) & ~(localinv = System_IComparable_1___System_String)) & ~(localinv = System_Collections_IList)) & ~(localinv = Microsoft_Contracts_ObjectInvariantException)) & ~(localinv = stringLiteral8)) & ~(localinv = stringLiteral9)) & ~(localinv = stringLiteral10)) & ~(localinv = stringLiteral11)) & ~(exposeVersion = sharingMode)) & ~(exposeVersion = SharingMode_Unshared)) & ~(exposeVersion = SharingMode_LockProtected)) & ~(exposeVersion = ownerRef)) & ~(exposeVersion = ownerFrame)) & ~(exposeVersion = PeerGroupPlaceholder)) & ~(exposeVersion = ArrayCategoryValue)) & ~(exposeVersion = ArrayCategoryInt)) & ~(exposeVersion = ArrayCategoryRef)) & ~(exposeVersion = ArrayCategoryNonNullRef)) & ~(exposeVersion = System_Array)) & ~(exposeVersion = System_Boolean)) & ~(exposeVersion = System_Object)) & ~(exposeVersion = System_Type)) & ~(exposeVersion = NonNullFieldsAreInitialized)) & ~(exposeVersion = System_String)) & ~(exposeVersion = FirstConsistentOwner)) & ~(exposeVersion = System_SByte)) & ~(exposeVersion = System_Byte)) & ~(exposeVersion = System_Int16)) & ~(exposeVersion = System_UInt16)) & ~(exposeVersion = System_Int32)) & ~(exposeVersion = System_UInt32)) & ~(exposeVersion = System_Int64)) & ~(exposeVersion = System_UInt64)) & ~(exposeVersion = System_Char)) & ~(exposeVersion = System_UIntPtr)) & ~(exposeVersion = System_IntPtr)) & ~(exposeVersion = BoundedStack_max)) & ~(exposeVersion = BoundedStack_size)) & ~(exposeVersion = BoundedStack_elems)) & ~(exposeVersion = System_Exception)) & ~(exposeVersion = System_IComparable)) & ~(exposeVersion = System_Collections_ICollection)) & ~(exposeVersion = System_ICloneable)) & ~(exposeVersion = Microsoft_Contracts_ICheckedException)) & ~(exposeVersion = System_IConvertible)) & ~(exposeVersion = System_Reflection_MemberInfo)) & ~(exposeVersion = System_Collections_IEnumerable)) & ~(exposeVersion = System_Runtime_InteropServices__MemberInfo)) & ~(exposeVersion = System_Reflection_ICustomAttributeProvider)) & ~(exposeVersion = System_Runtime_InteropServices__Exception)) & ~(exposeVersion = Microsoft_Contracts_GuardException)) & ~(exposeVersion = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(exposeVersion = System_Reflection_IReflect)) & ~(exposeVersion = System_Runtime_Serialization_ISerializable)) & ~(exposeVersion = BoundedStack)) & ~(exposeVersion = System_IEquatable_1___System_String)) & ~(exposeVersion = System_Runtime_InteropServices__Type)) & ~(exposeVersion = System_IComparable_1___System_String)) & ~(exposeVersion = System_Collections_IList)) & ~(exposeVersion = Microsoft_Contracts_ObjectInvariantException)) & ~(exposeVersion = stringLiteral8)) & ~(exposeVersion = stringLiteral9)) & ~(exposeVersion = stringLiteral10)) & ~(exposeVersion = stringLiteral11)) & ~(sharingMode = SharingMode_Unshared)) & ~(sharingMode = SharingMode_LockProtected)) & ~(sharingMode = ownerRef)) & ~(sharingMode = ownerFrame)) & ~(sharingMode = PeerGroupPlaceholder)) & ~(sharingMode = ArrayCategoryValue)) & ~(sharingMode = ArrayCategoryInt)) & ~(sharingMode = ArrayCategoryRef)) & ~(sharingMode = ArrayCategoryNonNullRef)) & ~(sharingMode = System_Array)) & ~(sharingMode = System_Boolean)) & ~(sharingMode = System_Object)) & ~(sharingMode = System_Type)) & ~(sharingMode = NonNullFieldsAreInitialized)) & ~(sharingMode = System_String)) & ~(sharingMode = FirstConsistentOwner)) & ~(sharingMode = System_SByte)) & ~(sharingMode = System_Byte)) & ~(sharingMode = System_Int16)) & ~(sharingMode = System_UInt16)) & ~(sharingMode = System_Int32)) & ~(sharingMode = System_UInt32)) & ~(sharingMode = System_Int64)) & ~(sharingMode = System_UInt64)) & ~(sharingMode = System_Char)) & ~(sharingMode = System_UIntPtr)) & ~(sharingMode = System_IntPtr)) & ~(sharingMode = BoundedStack_max)) & ~(sharingMode = BoundedStack_size)) & ~(sharingMode = BoundedStack_elems)) & ~(sharingMode = System_Exception)) & ~(sharingMode = System_IComparable)) & ~(sharingMode = System_Collections_ICollection)) & ~(sharingMode = System_ICloneable)) & ~(sharingMode = Microsoft_Contracts_ICheckedException)) & ~(sharingMode = System_IConvertible)) & ~(sharingMode = System_Reflection_MemberInfo)) & ~(sharingMode = System_Collections_IEnumerable)) & ~(sharingMode = System_Runtime_InteropServices__MemberInfo)) & ~(sharingMode = System_Reflection_ICustomAttributeProvider)) & ~(sharingMode = System_Runtime_InteropServices__Exception)) & ~(sharingMode = Microsoft_Contracts_GuardException)) & ~(sharingMode = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(sharingMode = System_Reflection_IReflect)) & ~(sharingMode = System_Runtime_Serialization_ISerializable)) & ~(sharingMode = BoundedStack)) & ~(sharingMode = System_IEquatable_1___System_String)) & ~(sharingMode = System_Runtime_InteropServices__Type)) & ~(sharingMode = System_IComparable_1___System_String)) & ~(sharingMode = System_Collections_IList)) & ~(sharingMode = Microsoft_Contracts_ObjectInvariantException)) & ~(sharingMode = stringLiteral8)) & ~(sharingMode = stringLiteral9)) & ~(sharingMode = stringLiteral10)) & ~(sharingMode = stringLiteral11)) & ~(SharingMode_Unshared = SharingMode_LockProtected)) & ~(SharingMode_Unshared = ownerRef)) & ~(SharingMode_Unshared = ownerFrame)) & ~(SharingMode_Unshared = PeerGroupPlaceholder)) & ~(SharingMode_Unshared = ArrayCategoryValue)) & ~(SharingMode_Unshared = ArrayCategoryInt)) & ~(SharingMode_Unshared = ArrayCategoryRef)) & ~(SharingMode_Unshared = ArrayCategoryNonNullRef)) & ~(SharingMode_Unshared = System_Array)) & ~(SharingMode_Unshared = System_Boolean)) & ~(SharingMode_Unshared = System_Object)) & ~(SharingMode_Unshared = System_Type)) & ~(SharingMode_Unshared = NonNullFieldsAreInitialized)) & ~(SharingMode_Unshared = System_String)) & ~(SharingMode_Unshared = FirstConsistentOwner)) & ~(SharingMode_Unshared = System_SByte)) & ~(SharingMode_Unshared = System_Byte)) & ~(SharingMode_Unshared = System_Int16)) & ~(SharingMode_Unshared = System_UInt16)) & ~(SharingMode_Unshared = System_Int32)) & ~(SharingMode_Unshared = System_UInt32)) & ~(SharingMode_Unshared = System_Int64)) & ~(SharingMode_Unshared = System_UInt64)) & ~(SharingMode_Unshared = System_Char)) & ~(SharingMode_Unshared = System_UIntPtr)) & ~(SharingMode_Unshared = System_IntPtr)) & ~(SharingMode_Unshared = BoundedStack_max)) & ~(SharingMode_Unshared = BoundedStack_size)) & ~(SharingMode_Unshared = BoundedStack_elems)) & ~(SharingMode_Unshared = System_Exception)) & ~(SharingMode_Unshared = System_IComparable)) & ~(SharingMode_Unshared = System_Collections_ICollection)) & ~(SharingMode_Unshared = System_ICloneable)) & ~(SharingMode_Unshared = Microsoft_Contracts_ICheckedException)) & ~(SharingMode_Unshared = System_IConvertible)) & ~(SharingMode_Unshared = System_Reflection_MemberInfo)) & ~(SharingMode_Unshared = System_Collections_IEnumerable)) & ~(SharingMode_Unshared = System_Runtime_InteropServices__MemberInfo)) & ~(SharingMode_Unshared = System_Reflection_ICustomAttributeProvider)) & ~(SharingMode_Unshared = System_Runtime_InteropServices__Exception)) & ~(SharingMode_Unshared = Microsoft_Contracts_GuardException)) & ~(SharingMode_Unshared = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(SharingMode_Unshared = System_Reflection_IReflect)) & ~(SharingMode_Unshared = System_Runtime_Serialization_ISerializable)) & ~(SharingMode_Unshared = BoundedStack)) & ~(SharingMode_Unshared = System_IEquatable_1___System_String)) & ~(SharingMode_Unshared = System_Runtime_InteropServices__Type)) & ~(SharingMode_Unshared = System_IComparable_1___System_String)) & ~(SharingMode_Unshared = System_Collections_IList)) & ~(SharingMode_Unshared = Microsoft_Contracts_ObjectInvariantException)) & ~(SharingMode_Unshared = stringLiteral8)) & ~(SharingMode_Unshared = stringLiteral9)) & ~(SharingMode_Unshared = stringLiteral10)) & ~(SharingMode_Unshared = stringLiteral11)) & ~(SharingMode_LockProtected = ownerRef)) & ~(SharingMode_LockProtected = ownerFrame)) & ~(SharingMode_LockProtected = PeerGroupPlaceholder)) & ~(SharingMode_LockProtected = ArrayCategoryValue)) & ~(SharingMode_LockProtected = ArrayCategoryInt)) & ~(SharingMode_LockProtected = ArrayCategoryRef)) & ~(SharingMode_LockProtected = ArrayCategoryNonNullRef)) & ~(SharingMode_LockProtected = System_Array)) & ~(SharingMode_LockProtected = System_Boolean)) & ~(SharingMode_LockProtected = System_Object)) & ~(SharingMode_LockProtected = System_Type)) & ~(SharingMode_LockProtected = NonNullFieldsAreInitialized)) & ~(SharingMode_LockProtected = System_String)) & ~(SharingMode_LockProtected = FirstConsistentOwner)) & ~(SharingMode_LockProtected = System_SByte)) & ~(SharingMode_LockProtected = System_Byte)) & ~(SharingMode_LockProtected = System_Int16)) & ~(SharingMode_LockProtected = System_UInt16)) & ~(SharingMode_LockProtected = System_Int32)) & ~(SharingMode_LockProtected = System_UInt32)) & ~(SharingMode_LockProtected = System_Int64)) & ~(SharingMode_LockProtected = System_UInt64)) & ~(SharingMode_LockProtected = System_Char)) & ~(SharingMode_LockProtected = System_UIntPtr)) & ~(SharingMode_LockProtected = System_IntPtr)) & ~(SharingMode_LockProtected = BoundedStack_max)) & ~(SharingMode_LockProtected = BoundedStack_size)) & ~(SharingMode_LockProtected = BoundedStack_elems)) & ~(SharingMode_LockProtected = System_Exception)) & ~(SharingMode_LockProtected = System_IComparable)) & ~(SharingMode_LockProtected = System_Collections_ICollection)) & ~(SharingMode_LockProtected = System_ICloneable)) & ~(SharingMode_LockProtected = Microsoft_Contracts_ICheckedException)) & ~(SharingMode_LockProtected = System_IConvertible)) & ~(SharingMode_LockProtected = System_Reflection_MemberInfo)) & ~(SharingMode_LockProtected = System_Collections_IEnumerable)) & ~(SharingMode_LockProtected = System_Runtime_InteropServices__MemberInfo)) & ~(SharingMode_LockProtected = System_Reflection_ICustomAttributeProvider)) & ~(SharingMode_LockProtected = System_Runtime_InteropServices__Exception)) & ~(SharingMode_LockProtected = Microsoft_Contracts_GuardException)) & ~(SharingMode_LockProtected = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(SharingMode_LockProtected = System_Reflection_IReflect)) & ~(SharingMode_LockProtected = System_Runtime_Serialization_ISerializable)) & ~(SharingMode_LockProtected = BoundedStack)) & ~(SharingMode_LockProtected = System_IEquatable_1___System_String)) & ~(SharingMode_LockProtected = System_Runtime_InteropServices__Type)) & ~(SharingMode_LockProtected = System_IComparable_1___System_String)) & ~(SharingMode_LockProtected = System_Collections_IList)) & ~(SharingMode_LockProtected = Microsoft_Contracts_ObjectInvariantException)) & ~(SharingMode_LockProtected = stringLiteral8)) & ~(SharingMode_LockProtected = stringLiteral9)) & ~(SharingMode_LockProtected = stringLiteral10)) & ~(SharingMode_LockProtected = stringLiteral11)) & ~(ownerRef = ownerFrame)) & ~(ownerRef = PeerGroupPlaceholder)) & ~(ownerRef = ArrayCategoryValue)) & ~(ownerRef = ArrayCategoryInt)) & ~(ownerRef = ArrayCategoryRef)) & ~(ownerRef = ArrayCategoryNonNullRef)) & ~(ownerRef = System_Array)) & ~(ownerRef = System_Boolean)) & ~(ownerRef = System_Object)) & ~(ownerRef = System_Type)) & ~(ownerRef = NonNullFieldsAreInitialized)) & ~(ownerRef = System_String)) & ~(ownerRef = FirstConsistentOwner)) & ~(ownerRef = System_SByte)) & ~(ownerRef = System_Byte)) & ~(ownerRef = System_Int16)) & ~(ownerRef = System_UInt16)) & ~(ownerRef = System_Int32)) & ~(ownerRef = System_UInt32)) & ~(ownerRef = System_Int64)) & ~(ownerRef = System_UInt64)) & ~(ownerRef = System_Char)) & ~(ownerRef = System_UIntPtr)) & ~(ownerRef = System_IntPtr)) & ~(ownerRef = BoundedStack_max)) & ~(ownerRef = BoundedStack_size)) & ~(ownerRef = BoundedStack_elems)) & ~(ownerRef = System_Exception)) & ~(ownerRef = System_IComparable)) & ~(ownerRef = System_Collections_ICollection)) & ~(ownerRef = System_ICloneable)) & ~(ownerRef = Microsoft_Contracts_ICheckedException)) & ~(ownerRef = System_IConvertible)) & ~(ownerRef = System_Reflection_MemberInfo)) & ~(ownerRef = System_Collections_IEnumerable)) & ~(ownerRef = System_Runtime_InteropServices__MemberInfo)) & ~(ownerRef = System_Reflection_ICustomAttributeProvider)) & ~(ownerRef = System_Runtime_InteropServices__Exception)) & ~(ownerRef = Microsoft_Contracts_GuardException)) & ~(ownerRef = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(ownerRef = System_Reflection_IReflect)) & ~(ownerRef = System_Runtime_Serialization_ISerializable)) & ~(ownerRef = BoundedStack)) & ~(ownerRef = System_IEquatable_1___System_String)) & ~(ownerRef = System_Runtime_InteropServices__Type)) & ~(ownerRef = System_IComparable_1___System_String)) & ~(ownerRef = System_Collections_IList)) & ~(ownerRef = Microsoft_Contracts_ObjectInvariantException)) & ~(ownerRef = stringLiteral8)) & ~(ownerRef = stringLiteral9)) & ~(ownerRef = stringLiteral10)) & ~(ownerRef = stringLiteral11)) & ~(ownerFrame = PeerGroupPlaceholder)) & ~(ownerFrame = ArrayCategoryValue)) & ~(ownerFrame = ArrayCategoryInt)) & ~(ownerFrame = ArrayCategoryRef)) & ~(ownerFrame = ArrayCategoryNonNullRef)) & ~(ownerFrame = System_Array)) & ~(ownerFrame = System_Boolean)) & ~(ownerFrame = System_Object)) & ~(ownerFrame = System_Type)) & ~(ownerFrame = NonNullFieldsAreInitialized)) & ~(ownerFrame = System_String)) & ~(ownerFrame = FirstConsistentOwner)) & ~(ownerFrame = System_SByte)) & ~(ownerFrame = System_Byte)) & ~(ownerFrame = System_Int16)) & ~(ownerFrame = System_UInt16)) & ~(ownerFrame = System_Int32)) & ~(ownerFrame = System_UInt32)) & ~(ownerFrame = System_Int64)) & ~(ownerFrame = System_UInt64)) & ~(ownerFrame = System_Char)) & ~(ownerFrame = System_UIntPtr)) & ~(ownerFrame = System_IntPtr)) & ~(ownerFrame = BoundedStack_max)) & ~(ownerFrame = BoundedStack_size)) & ~(ownerFrame = BoundedStack_elems)) & ~(ownerFrame = System_Exception)) & ~(ownerFrame = System_IComparable)) & ~(ownerFrame = System_Collections_ICollection)) & ~(ownerFrame = System_ICloneable)) & ~(ownerFrame = Microsoft_Contracts_ICheckedException)) & ~(ownerFrame = System_IConvertible)) & ~(ownerFrame = System_Reflection_MemberInfo)) & ~(ownerFrame = System_Collections_IEnumerable)) & ~(ownerFrame = System_Runtime_InteropServices__MemberInfo)) & ~(ownerFrame = System_Reflection_ICustomAttributeProvider)) & ~(ownerFrame = System_Runtime_InteropServices__Exception)) & ~(ownerFrame = Microsoft_Contracts_GuardException)) & ~(ownerFrame = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(ownerFrame = System_Reflection_IReflect)) & ~(ownerFrame = System_Runtime_Serialization_ISerializable)) & ~(ownerFrame = BoundedStack)) & ~(ownerFrame = System_IEquatable_1___System_String)) & ~(ownerFrame = System_Runtime_InteropServices__Type)) & ~(ownerFrame = System_IComparable_1___System_String)) & ~(ownerFrame = System_Collections_IList)) & ~(ownerFrame = Microsoft_Contracts_ObjectInvariantException)) & ~(ownerFrame = stringLiteral8)) & ~(ownerFrame = stringLiteral9)) & ~(ownerFrame = stringLiteral10)) & ~(ownerFrame = stringLiteral11)) & ~(PeerGroupPlaceholder = ArrayCategoryValue)) & ~(PeerGroupPlaceholder = ArrayCategoryInt)) & ~(PeerGroupPlaceholder = ArrayCategoryRef)) & ~(PeerGroupPlaceholder = ArrayCategoryNonNullRef)) & ~(PeerGroupPlaceholder = System_Array)) & ~(PeerGroupPlaceholder = System_Boolean)) & ~(PeerGroupPlaceholder = System_Object)) & ~(PeerGroupPlaceholder = System_Type)) & ~(PeerGroupPlaceholder = NonNullFieldsAreInitialized)) & ~(PeerGroupPlaceholder = System_String)) & ~(PeerGroupPlaceholder = FirstConsistentOwner)) & ~(PeerGroupPlaceholder = System_SByte)) & ~(PeerGroupPlaceholder = System_Byte)) & ~(PeerGroupPlaceholder = System_Int16)) & ~(PeerGroupPlaceholder = System_UInt16)) & ~(PeerGroupPlaceholder = System_Int32)) & ~(PeerGroupPlaceholder = System_UInt32)) & ~(PeerGroupPlaceholder = System_Int64)) & ~(PeerGroupPlaceholder = System_UInt64)) & ~(PeerGroupPlaceholder = System_Char)) & ~(PeerGroupPlaceholder = System_UIntPtr)) & ~(PeerGroupPlaceholder = System_IntPtr)) & ~(PeerGroupPlaceholder = BoundedStack_max)) & ~(PeerGroupPlaceholder = BoundedStack_size)) & ~(PeerGroupPlaceholder = BoundedStack_elems)) & ~(PeerGroupPlaceholder = System_Exception)) & ~(PeerGroupPlaceholder = System_IComparable)) & ~(PeerGroupPlaceholder = System_Collections_ICollection)) & ~(PeerGroupPlaceholder = System_ICloneable)) & ~(PeerGroupPlaceholder = Microsoft_Contracts_ICheckedException)) & ~(PeerGroupPlaceholder = System_IConvertible)) & ~(PeerGroupPlaceholder = System_Reflection_MemberInfo)) & ~(PeerGroupPlaceholder = System_Collections_IEnumerable)) & ~(PeerGroupPlaceholder = System_Runtime_InteropServices__MemberInfo)) & ~(PeerGroupPlaceholder = System_Reflection_ICustomAttributeProvider)) & ~(PeerGroupPlaceholder = System_Runtime_InteropServices__Exception)) & ~(PeerGroupPlaceholder = Microsoft_Contracts_GuardException)) & ~(PeerGroupPlaceholder = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(PeerGroupPlaceholder = System_Reflection_IReflect)) & ~(PeerGroupPlaceholder = System_Runtime_Serialization_ISerializable)) & ~(PeerGroupPlaceholder = BoundedStack)) & ~(PeerGroupPlaceholder = System_IEquatable_1___System_String)) & ~(PeerGroupPlaceholder = System_Runtime_InteropServices__Type)) & ~(PeerGroupPlaceholder = System_IComparable_1___System_String)) & ~(PeerGroupPlaceholder = System_Collections_IList)) & ~(PeerGroupPlaceholder = Microsoft_Contracts_ObjectInvariantException)) & ~(PeerGroupPlaceholder = stringLiteral8)) & ~(PeerGroupPlaceholder = stringLiteral9)) & ~(PeerGroupPlaceholder = stringLiteral10)) & ~(PeerGroupPlaceholder = stringLiteral11)) & ~(ArrayCategoryValue = ArrayCategoryInt)) & ~(ArrayCategoryValue = ArrayCategoryRef)) & ~(ArrayCategoryValue = ArrayCategoryNonNullRef)) & ~(ArrayCategoryValue = System_Array)) & ~(ArrayCategoryValue = System_Boolean)) & ~(ArrayCategoryValue = System_Object)) & ~(ArrayCategoryValue = System_Type)) & ~(ArrayCategoryValue = NonNullFieldsAreInitialized)) & ~(ArrayCategoryValue = System_String)) & ~(ArrayCategoryValue = FirstConsistentOwner)) & ~(ArrayCategoryValue = System_SByte)) & ~(ArrayCategoryValue = System_Byte)) & ~(ArrayCategoryValue = System_Int16)) & ~(ArrayCategoryValue = System_UInt16)) & ~(ArrayCategoryValue = System_Int32)) & ~(ArrayCategoryValue = System_UInt32)) & ~(ArrayCategoryValue = System_Int64)) & ~(ArrayCategoryValue = System_UInt64)) & ~(ArrayCategoryValue = System_Char)) & ~(ArrayCategoryValue = System_UIntPtr)) & ~(ArrayCategoryValue = System_IntPtr)) & ~(ArrayCategoryValue = BoundedStack_max)) & ~(ArrayCategoryValue = BoundedStack_size)) & ~(ArrayCategoryValue = BoundedStack_elems)) & ~(ArrayCategoryValue = System_Exception)) & ~(ArrayCategoryValue = System_IComparable)) & ~(ArrayCategoryValue = System_Collections_ICollection)) & ~(ArrayCategoryValue = System_ICloneable)) & ~(ArrayCategoryValue = Microsoft_Contracts_ICheckedException)) & ~(ArrayCategoryValue = System_IConvertible)) & ~(ArrayCategoryValue = System_Reflection_MemberInfo)) & ~(ArrayCategoryValue = System_Collections_IEnumerable)) & ~(ArrayCategoryValue = System_Runtime_InteropServices__MemberInfo)) & ~(ArrayCategoryValue = System_Reflection_ICustomAttributeProvider)) & ~(ArrayCategoryValue = System_Runtime_InteropServices__Exception)) & ~(ArrayCategoryValue = Microsoft_Contracts_GuardException)) & ~(ArrayCategoryValue = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(ArrayCategoryValue = System_Reflection_IReflect)) & ~(ArrayCategoryValue = System_Runtime_Serialization_ISerializable)) & ~(ArrayCategoryValue = BoundedStack)) & ~(ArrayCategoryValue = System_IEquatable_1___System_String)) & ~(ArrayCategoryValue = System_Runtime_InteropServices__Type)) & ~(ArrayCategoryValue = System_IComparable_1___System_String)) & ~(ArrayCategoryValue = System_Collections_IList)) & ~(ArrayCategoryValue = Microsoft_Contracts_ObjectInvariantException)) & ~(ArrayCategoryValue = stringLiteral8)) & ~(ArrayCategoryValue = stringLiteral9)) & ~(ArrayCategoryValue = stringLiteral10)) & ~(ArrayCategoryValue = stringLiteral11)) & ~(ArrayCategoryInt = ArrayCategoryRef)) & ~(ArrayCategoryInt = ArrayCategoryNonNullRef)) & ~(ArrayCategoryInt = System_Array)) & ~(ArrayCategoryInt = System_Boolean)) & ~(ArrayCategoryInt = System_Object)) & ~(ArrayCategoryInt = System_Type)) & ~(ArrayCategoryInt = NonNullFieldsAreInitialized)) & ~(ArrayCategoryInt = System_String)) & ~(ArrayCategoryInt = FirstConsistentOwner)) & ~(ArrayCategoryInt = System_SByte)) & ~(ArrayCategoryInt = System_Byte)) & ~(ArrayCategoryInt = System_Int16)) & ~(ArrayCategoryInt = System_UInt16)) & ~(ArrayCategoryInt = System_Int32)) & ~(ArrayCategoryInt = System_UInt32)) & ~(ArrayCategoryInt = System_Int64)) & ~(ArrayCategoryInt = System_UInt64)) & ~(ArrayCategoryInt = System_Char)) & ~(ArrayCategoryInt = System_UIntPtr)) & ~(ArrayCategoryInt = System_IntPtr)) & ~(ArrayCategoryInt = BoundedStack_max)) & ~(ArrayCategoryInt = BoundedStack_size)) & ~(ArrayCategoryInt = BoundedStack_elems)) & ~(ArrayCategoryInt = System_Exception)) & ~(ArrayCategoryInt = System_IComparable)) & ~(ArrayCategoryInt = System_Collections_ICollection)) & ~(ArrayCategoryInt = System_ICloneable)) & ~(ArrayCategoryInt = Microsoft_Contracts_ICheckedException)) & ~(ArrayCategoryInt = System_IConvertible)) & ~(ArrayCategoryInt = System_Reflection_MemberInfo)) & ~(ArrayCategoryInt = System_Collections_IEnumerable)) & ~(ArrayCategoryInt = System_Runtime_InteropServices__MemberInfo)) & ~(ArrayCategoryInt = System_Reflection_ICustomAttributeProvider)) & ~(ArrayCategoryInt = System_Runtime_InteropServices__Exception)) & ~(ArrayCategoryInt = Microsoft_Contracts_GuardException)) & ~(ArrayCategoryInt = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(ArrayCategoryInt = System_Reflection_IReflect)) & ~(ArrayCategoryInt = System_Runtime_Serialization_ISerializable)) & ~(ArrayCategoryInt = BoundedStack)) & ~(ArrayCategoryInt = System_IEquatable_1___System_String)) & ~(ArrayCategoryInt = System_Runtime_InteropServices__Type)) & ~(ArrayCategoryInt = System_IComparable_1___System_String)) & ~(ArrayCategoryInt = System_Collections_IList)) & ~(ArrayCategoryInt = Microsoft_Contracts_ObjectInvariantException)) & ~(ArrayCategoryInt = stringLiteral8)) & ~(ArrayCategoryInt = stringLiteral9)) & ~(ArrayCategoryInt = stringLiteral10)) & ~(ArrayCategoryInt = stringLiteral11)) & ~(ArrayCategoryRef = ArrayCategoryNonNullRef)) & ~(ArrayCategoryRef = System_Array)) & ~(ArrayCategoryRef = System_Boolean)) & ~(ArrayCategoryRef = System_Object)) & ~(ArrayCategoryRef = System_Type)) & ~(ArrayCategoryRef = NonNullFieldsAreInitialized)) & ~(ArrayCategoryRef = System_String)) & ~(ArrayCategoryRef = FirstConsistentOwner)) & ~(ArrayCategoryRef = System_SByte)) & ~(ArrayCategoryRef = System_Byte)) & ~(ArrayCategoryRef = System_Int16)) & ~(ArrayCategoryRef = System_UInt16)) & ~(ArrayCategoryRef = System_Int32)) & ~(ArrayCategoryRef = System_UInt32)) & ~(ArrayCategoryRef = System_Int64)) & ~(ArrayCategoryRef = System_UInt64)) & ~(ArrayCategoryRef = System_Char)) & ~(ArrayCategoryRef = System_UIntPtr)) & ~(ArrayCategoryRef = System_IntPtr)) & ~(ArrayCategoryRef = BoundedStack_max)) & ~(ArrayCategoryRef = BoundedStack_size)) & ~(ArrayCategoryRef = BoundedStack_elems)) & ~(ArrayCategoryRef = System_Exception)) & ~(ArrayCategoryRef = System_IComparable)) & ~(ArrayCategoryRef = System_Collections_ICollection)) & ~(ArrayCategoryRef = System_ICloneable)) & ~(ArrayCategoryRef = Microsoft_Contracts_ICheckedException)) & ~(ArrayCategoryRef = System_IConvertible)) & ~(ArrayCategoryRef = System_Reflection_MemberInfo)) & ~(ArrayCategoryRef = System_Collections_IEnumerable)) & ~(ArrayCategoryRef = System_Runtime_InteropServices__MemberInfo)) & ~(ArrayCategoryRef = System_Reflection_ICustomAttributeProvider)) & ~(ArrayCategoryRef = System_Runtime_InteropServices__Exception)) & ~(ArrayCategoryRef = Microsoft_Contracts_GuardException)) & ~(ArrayCategoryRef = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(ArrayCategoryRef = System_Reflection_IReflect)) & ~(ArrayCategoryRef = System_Runtime_Serialization_ISerializable)) & ~(ArrayCategoryRef = BoundedStack)) & ~(ArrayCategoryRef = System_IEquatable_1___System_String)) & ~(ArrayCategoryRef = System_Runtime_InteropServices__Type)) & ~(ArrayCategoryRef = System_IComparable_1___System_String)) & ~(ArrayCategoryRef = System_Collections_IList)) & ~(ArrayCategoryRef = Microsoft_Contracts_ObjectInvariantException)) & ~(ArrayCategoryRef = stringLiteral8)) & ~(ArrayCategoryRef = stringLiteral9)) & ~(ArrayCategoryRef = stringLiteral10)) & ~(ArrayCategoryRef = stringLiteral11)) & ~(ArrayCategoryNonNullRef = System_Array)) & ~(ArrayCategoryNonNullRef = System_Boolean)) & ~(ArrayCategoryNonNullRef = System_Object)) & ~(ArrayCategoryNonNullRef = System_Type)) & ~(ArrayCategoryNonNullRef = NonNullFieldsAreInitialized)) & ~(ArrayCategoryNonNullRef = System_String)) & ~(ArrayCategoryNonNullRef = FirstConsistentOwner)) & ~(ArrayCategoryNonNullRef = System_SByte)) & ~(ArrayCategoryNonNullRef = System_Byte)) & ~(ArrayCategoryNonNullRef = System_Int16)) & ~(ArrayCategoryNonNullRef = System_UInt16)) & ~(ArrayCategoryNonNullRef = System_Int32)) & ~(ArrayCategoryNonNullRef = System_UInt32)) & ~(ArrayCategoryNonNullRef = System_Int64)) & ~(ArrayCategoryNonNullRef = System_UInt64)) & ~(ArrayCategoryNonNullRef = System_Char)) & ~(ArrayCategoryNonNullRef = System_UIntPtr)) & ~(ArrayCategoryNonNullRef = System_IntPtr)) & ~(ArrayCategoryNonNullRef = BoundedStack_max)) & ~(ArrayCategoryNonNullRef = BoundedStack_size)) & ~(ArrayCategoryNonNullRef = BoundedStack_elems)) & ~(ArrayCategoryNonNullRef = System_Exception)) & ~(ArrayCategoryNonNullRef = System_IComparable)) & ~(ArrayCategoryNonNullRef = System_Collections_ICollection)) & ~(ArrayCategoryNonNullRef = System_ICloneable)) & ~(ArrayCategoryNonNullRef = Microsoft_Contracts_ICheckedException)) & ~(ArrayCategoryNonNullRef = System_IConvertible)) & ~(ArrayCategoryNonNullRef = System_Reflection_MemberInfo)) & ~(ArrayCategoryNonNullRef = System_Collections_IEnumerable)) & ~(ArrayCategoryNonNullRef = System_Runtime_InteropServices__MemberInfo)) & ~(ArrayCategoryNonNullRef = System_Reflection_ICustomAttributeProvider)) & ~(ArrayCategoryNonNullRef = System_Runtime_InteropServices__Exception)) & ~(ArrayCategoryNonNullRef = Microsoft_Contracts_GuardException)) & ~(ArrayCategoryNonNullRef = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(ArrayCategoryNonNullRef = System_Reflection_IReflect)) & ~(ArrayCategoryNonNullRef = System_Runtime_Serialization_ISerializable)) & ~(ArrayCategoryNonNullRef = BoundedStack)) & ~(ArrayCategoryNonNullRef = System_IEquatable_1___System_String)) & ~(ArrayCategoryNonNullRef = System_Runtime_InteropServices__Type)) & ~(ArrayCategoryNonNullRef = System_IComparable_1___System_String)) & ~(ArrayCategoryNonNullRef = System_Collections_IList)) & ~(ArrayCategoryNonNullRef = Microsoft_Contracts_ObjectInvariantException)) & ~(ArrayCategoryNonNullRef = stringLiteral8)) & ~(ArrayCategoryNonNullRef = stringLiteral9)) & ~(ArrayCategoryNonNullRef = stringLiteral10)) & ~(ArrayCategoryNonNullRef = stringLiteral11)) & ~(System_Array = System_Boolean)) & ~(System_Array = System_Object)) & ~(System_Array = System_Type)) & ~(System_Array = NonNullFieldsAreInitialized)) & ~(System_Array = System_String)) & ~(System_Array = FirstConsistentOwner)) & ~(System_Array = System_SByte)) & ~(System_Array = System_Byte)) & ~(System_Array = System_Int16)) & ~(System_Array = System_UInt16)) & ~(System_Array = System_Int32)) & ~(System_Array = System_UInt32)) & ~(System_Array = System_Int64)) & ~(System_Array = System_UInt64)) & ~(System_Array = System_Char)) & ~(System_Array = System_UIntPtr)) & ~(System_Array = System_IntPtr)) & ~(System_Array = BoundedStack_max)) & ~(System_Array = BoundedStack_size)) & ~(System_Array = BoundedStack_elems)) & ~(System_Array = System_Exception)) & ~(System_Array = System_IComparable)) & ~(System_Array = System_Collections_ICollection)) & ~(System_Array = System_ICloneable)) & ~(System_Array = Microsoft_Contracts_ICheckedException)) & ~(System_Array = System_IConvertible)) & ~(System_Array = System_Reflection_MemberInfo)) & ~(System_Array = System_Collections_IEnumerable)) & ~(System_Array = System_Runtime_InteropServices__MemberInfo)) & ~(System_Array = System_Reflection_ICustomAttributeProvider)) & ~(System_Array = System_Runtime_InteropServices__Exception)) & ~(System_Array = Microsoft_Contracts_GuardException)) & ~(System_Array = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Array = System_Reflection_IReflect)) & ~(System_Array = System_Runtime_Serialization_ISerializable)) & ~(System_Array = BoundedStack)) & ~(System_Array = System_IEquatable_1___System_String)) & ~(System_Array = System_Runtime_InteropServices__Type)) & ~(System_Array = System_IComparable_1___System_String)) & ~(System_Array = System_Collections_IList)) & ~(System_Array = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Array = stringLiteral8)) & ~(System_Array = stringLiteral9)) & ~(System_Array = stringLiteral10)) & ~(System_Array = stringLiteral11)) & ~(System_Boolean = System_Object)) & ~(System_Boolean = System_Type)) & ~(System_Boolean = NonNullFieldsAreInitialized)) & ~(System_Boolean = System_String)) & ~(System_Boolean = FirstConsistentOwner)) & ~(System_Boolean = System_SByte)) & ~(System_Boolean = System_Byte)) & ~(System_Boolean = System_Int16)) & ~(System_Boolean = System_UInt16)) & ~(System_Boolean = System_Int32)) & ~(System_Boolean = System_UInt32)) & ~(System_Boolean = System_Int64)) & ~(System_Boolean = System_UInt64)) & ~(System_Boolean = System_Char)) & ~(System_Boolean = System_UIntPtr)) & ~(System_Boolean = System_IntPtr)) & ~(System_Boolean = BoundedStack_max)) & ~(System_Boolean = BoundedStack_size)) & ~(System_Boolean = BoundedStack_elems)) & ~(System_Boolean = System_Exception)) & ~(System_Boolean = System_IComparable)) & ~(System_Boolean = System_Collections_ICollection)) & ~(System_Boolean = System_ICloneable)) & ~(System_Boolean = Microsoft_Contracts_ICheckedException)) & ~(System_Boolean = System_IConvertible)) & ~(System_Boolean = System_Reflection_MemberInfo)) & ~(System_Boolean = System_Collections_IEnumerable)) & ~(System_Boolean = System_Runtime_InteropServices__MemberInfo)) & ~(System_Boolean = System_Reflection_ICustomAttributeProvider)) & ~(System_Boolean = System_Runtime_InteropServices__Exception)) & ~(System_Boolean = Microsoft_Contracts_GuardException)) & ~(System_Boolean = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Boolean = System_Reflection_IReflect)) & ~(System_Boolean = System_Runtime_Serialization_ISerializable)) & ~(System_Boolean = BoundedStack)) & ~(System_Boolean = System_IEquatable_1___System_String)) & ~(System_Boolean = System_Runtime_InteropServices__Type)) & ~(System_Boolean = System_IComparable_1___System_String)) & ~(System_Boolean = System_Collections_IList)) & ~(System_Boolean = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Boolean = stringLiteral8)) & ~(System_Boolean = stringLiteral9)) & ~(System_Boolean = stringLiteral10)) & ~(System_Boolean = stringLiteral11)) & ~(System_Object = System_Type)) & ~(System_Object = NonNullFieldsAreInitialized)) & ~(System_Object = System_String)) & ~(System_Object = FirstConsistentOwner)) & ~(System_Object = System_SByte)) & ~(System_Object = System_Byte)) & ~(System_Object = System_Int16)) & ~(System_Object = System_UInt16)) & ~(System_Object = System_Int32)) & ~(System_Object = System_UInt32)) & ~(System_Object = System_Int64)) & ~(System_Object = System_UInt64)) & ~(System_Object = System_Char)) & ~(System_Object = System_UIntPtr)) & ~(System_Object = System_IntPtr)) & ~(System_Object = BoundedStack_max)) & ~(System_Object = BoundedStack_size)) & ~(System_Object = BoundedStack_elems)) & ~(System_Object = System_Exception)) & ~(System_Object = System_IComparable)) & ~(System_Object = System_Collections_ICollection)) & ~(System_Object = System_ICloneable)) & ~(System_Object = Microsoft_Contracts_ICheckedException)) & ~(System_Object = System_IConvertible)) & ~(System_Object = System_Reflection_MemberInfo)) & ~(System_Object = System_Collections_IEnumerable)) & ~(System_Object = System_Runtime_InteropServices__MemberInfo)) & ~(System_Object = System_Reflection_ICustomAttributeProvider)) & ~(System_Object = System_Runtime_InteropServices__Exception)) & ~(System_Object = Microsoft_Contracts_GuardException)) & ~(System_Object = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Object = System_Reflection_IReflect)) & ~(System_Object = System_Runtime_Serialization_ISerializable)) & ~(System_Object = BoundedStack)) & ~(System_Object = System_IEquatable_1___System_String)) & ~(System_Object = System_Runtime_InteropServices__Type)) & ~(System_Object = System_IComparable_1___System_String)) & ~(System_Object = System_Collections_IList)) & ~(System_Object = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Object = stringLiteral8)) & ~(System_Object = stringLiteral9)) & ~(System_Object = stringLiteral10)) & ~(System_Object = stringLiteral11)) & ~(System_Type = NonNullFieldsAreInitialized)) & ~(System_Type = System_String)) & ~(System_Type = FirstConsistentOwner)) & ~(System_Type = System_SByte)) & ~(System_Type = System_Byte)) & ~(System_Type = System_Int16)) & ~(System_Type = System_UInt16)) & ~(System_Type = System_Int32)) & ~(System_Type = System_UInt32)) & ~(System_Type = System_Int64)) & ~(System_Type = System_UInt64)) & ~(System_Type = System_Char)) & ~(System_Type = System_UIntPtr)) & ~(System_Type = System_IntPtr)) & ~(System_Type = BoundedStack_max)) & ~(System_Type = BoundedStack_size)) & ~(System_Type = BoundedStack_elems)) & ~(System_Type = System_Exception)) & ~(System_Type = System_IComparable)) & ~(System_Type = System_Collections_ICollection)) & ~(System_Type = System_ICloneable)) & ~(System_Type = Microsoft_Contracts_ICheckedException)) & ~(System_Type = System_IConvertible)) & ~(System_Type = System_Reflection_MemberInfo)) & ~(System_Type = System_Collections_IEnumerable)) & ~(System_Type = System_Runtime_InteropServices__MemberInfo)) & ~(System_Type = System_Reflection_ICustomAttributeProvider)) & ~(System_Type = System_Runtime_InteropServices__Exception)) & ~(System_Type = Microsoft_Contracts_GuardException)) & ~(System_Type = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Type = System_Reflection_IReflect)) & ~(System_Type = System_Runtime_Serialization_ISerializable)) & ~(System_Type = BoundedStack)) & ~(System_Type = System_IEquatable_1___System_String)) & ~(System_Type = System_Runtime_InteropServices__Type)) & ~(System_Type = System_IComparable_1___System_String)) & ~(System_Type = System_Collections_IList)) & ~(System_Type = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Type = stringLiteral8)) & ~(System_Type = stringLiteral9)) & ~(System_Type = stringLiteral10)) & ~(System_Type = stringLiteral11)) & ~(NonNullFieldsAreInitialized = System_String)) & ~(NonNullFieldsAreInitialized = FirstConsistentOwner)) & ~(NonNullFieldsAreInitialized = System_SByte)) & ~(NonNullFieldsAreInitialized = System_Byte)) & ~(NonNullFieldsAreInitialized = System_Int16)) & ~(NonNullFieldsAreInitialized = System_UInt16)) & ~(NonNullFieldsAreInitialized = System_Int32)) & ~(NonNullFieldsAreInitialized = System_UInt32)) & ~(NonNullFieldsAreInitialized = System_Int64)) & ~(NonNullFieldsAreInitialized = System_UInt64)) & ~(NonNullFieldsAreInitialized = System_Char)) & ~(NonNullFieldsAreInitialized = System_UIntPtr)) & ~(NonNullFieldsAreInitialized = System_IntPtr)) & ~(NonNullFieldsAreInitialized = BoundedStack_max)) & ~(NonNullFieldsAreInitialized = BoundedStack_size)) & ~(NonNullFieldsAreInitialized = BoundedStack_elems)) & ~(NonNullFieldsAreInitialized = System_Exception)) & ~(NonNullFieldsAreInitialized = System_IComparable)) & ~(NonNullFieldsAreInitialized = System_Collections_ICollection)) & ~(NonNullFieldsAreInitialized = System_ICloneable)) & ~(NonNullFieldsAreInitialized = Microsoft_Contracts_ICheckedException)) & ~(NonNullFieldsAreInitialized = System_IConvertible)) & ~(NonNullFieldsAreInitialized = System_Reflection_MemberInfo)) & ~(NonNullFieldsAreInitialized = System_Collections_IEnumerable)) & ~(NonNullFieldsAreInitialized = System_Runtime_InteropServices__MemberInfo)) & ~(NonNullFieldsAreInitialized = System_Reflection_ICustomAttributeProvider)) & ~(NonNullFieldsAreInitialized = System_Runtime_InteropServices__Exception)) & ~(NonNullFieldsAreInitialized = Microsoft_Contracts_GuardException)) & ~(NonNullFieldsAreInitialized = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(NonNullFieldsAreInitialized = System_Reflection_IReflect)) & ~(NonNullFieldsAreInitialized = System_Runtime_Serialization_ISerializable)) & ~(NonNullFieldsAreInitialized = BoundedStack)) & ~(NonNullFieldsAreInitialized = System_IEquatable_1___System_String)) & ~(NonNullFieldsAreInitialized = System_Runtime_InteropServices__Type)) & ~(NonNullFieldsAreInitialized = System_IComparable_1___System_String)) & ~(NonNullFieldsAreInitialized = System_Collections_IList)) & ~(NonNullFieldsAreInitialized = Microsoft_Contracts_ObjectInvariantException)) & ~(NonNullFieldsAreInitialized = stringLiteral8)) & ~(NonNullFieldsAreInitialized = stringLiteral9)) & ~(NonNullFieldsAreInitialized = stringLiteral10)) & ~(NonNullFieldsAreInitialized = stringLiteral11)) & ~(System_String = FirstConsistentOwner)) & ~(System_String = System_SByte)) & ~(System_String = System_Byte)) & ~(System_String = System_Int16)) & ~(System_String = System_UInt16)) & ~(System_String = System_Int32)) & ~(System_String = System_UInt32)) & ~(System_String = System_Int64)) & ~(System_String = System_UInt64)) & ~(System_String = System_Char)) & ~(System_String = System_UIntPtr)) & ~(System_String = System_IntPtr)) & ~(System_String = BoundedStack_max)) & ~(System_String = BoundedStack_size)) & ~(System_String = BoundedStack_elems)) & ~(System_String = System_Exception)) & ~(System_String = System_IComparable)) & ~(System_String = System_Collections_ICollection)) & ~(System_String = System_ICloneable)) & ~(System_String = Microsoft_Contracts_ICheckedException)) & ~(System_String = System_IConvertible)) & ~(System_String = System_Reflection_MemberInfo)) & ~(System_String = System_Collections_IEnumerable)) & ~(System_String = System_Runtime_InteropServices__MemberInfo)) & ~(System_String = System_Reflection_ICustomAttributeProvider)) & ~(System_String = System_Runtime_InteropServices__Exception)) & ~(System_String = Microsoft_Contracts_GuardException)) & ~(System_String = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_String = System_Reflection_IReflect)) & ~(System_String = System_Runtime_Serialization_ISerializable)) & ~(System_String = BoundedStack)) & ~(System_String = System_IEquatable_1___System_String)) & ~(System_String = System_Runtime_InteropServices__Type)) & ~(System_String = System_IComparable_1___System_String)) & ~(System_String = System_Collections_IList)) & ~(System_String = Microsoft_Contracts_ObjectInvariantException)) & ~(System_String = stringLiteral8)) & ~(System_String = stringLiteral9)) & ~(System_String = stringLiteral10)) & ~(System_String = stringLiteral11)) & ~(FirstConsistentOwner = System_SByte)) & ~(FirstConsistentOwner = System_Byte)) & ~(FirstConsistentOwner = System_Int16)) & ~(FirstConsistentOwner = System_UInt16)) & ~(FirstConsistentOwner = System_Int32)) & ~(FirstConsistentOwner = System_UInt32)) & ~(FirstConsistentOwner = System_Int64)) & ~(FirstConsistentOwner = System_UInt64)) & ~(FirstConsistentOwner = System_Char)) & ~(FirstConsistentOwner = System_UIntPtr)) & ~(FirstConsistentOwner = System_IntPtr)) & ~(FirstConsistentOwner = BoundedStack_max)) & ~(FirstConsistentOwner = BoundedStack_size)) & ~(FirstConsistentOwner = BoundedStack_elems)) & ~(FirstConsistentOwner = System_Exception)) & ~(FirstConsistentOwner = System_IComparable)) & ~(FirstConsistentOwner = System_Collections_ICollection)) & ~(FirstConsistentOwner = System_ICloneable)) & ~(FirstConsistentOwner = Microsoft_Contracts_ICheckedException)) & ~(FirstConsistentOwner = System_IConvertible)) & ~(FirstConsistentOwner = System_Reflection_MemberInfo)) & ~(FirstConsistentOwner = System_Collections_IEnumerable)) & ~(FirstConsistentOwner = System_Runtime_InteropServices__MemberInfo)) & ~(FirstConsistentOwner = System_Reflection_ICustomAttributeProvider)) & ~(FirstConsistentOwner = System_Runtime_InteropServices__Exception)) & ~(FirstConsistentOwner = Microsoft_Contracts_GuardException)) & ~(FirstConsistentOwner = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(FirstConsistentOwner = System_Reflection_IReflect)) & ~(FirstConsistentOwner = System_Runtime_Serialization_ISerializable)) & ~(FirstConsistentOwner = BoundedStack)) & ~(FirstConsistentOwner = System_IEquatable_1___System_String)) & ~(FirstConsistentOwner = System_Runtime_InteropServices__Type)) & ~(FirstConsistentOwner = System_IComparable_1___System_String)) & ~(FirstConsistentOwner = System_Collections_IList)) & ~(FirstConsistentOwner = Microsoft_Contracts_ObjectInvariantException)) & ~(FirstConsistentOwner = stringLiteral8)) & ~(FirstConsistentOwner = stringLiteral9)) & ~(FirstConsistentOwner = stringLiteral10)) & ~(FirstConsistentOwner = stringLiteral11)) & ~(System_SByte = System_Byte)) & ~(System_SByte = System_Int16)) & ~(System_SByte = System_UInt16)) & ~(System_SByte = System_Int32)) & ~(System_SByte = System_UInt32)) & ~(System_SByte = System_Int64)) & ~(System_SByte = System_UInt64)) & ~(System_SByte = System_Char)) & ~(System_SByte = System_UIntPtr)) & ~(System_SByte = System_IntPtr)) & ~(System_SByte = BoundedStack_max)) & ~(System_SByte = BoundedStack_size)) & ~(System_SByte = BoundedStack_elems)) & ~(System_SByte = System_Exception)) & ~(System_SByte = System_IComparable)) & ~(System_SByte = System_Collections_ICollection)) & ~(System_SByte = System_ICloneable)) & ~(System_SByte = Microsoft_Contracts_ICheckedException)) & ~(System_SByte = System_IConvertible)) & ~(System_SByte = System_Reflection_MemberInfo)) & ~(System_SByte = System_Collections_IEnumerable)) & ~(System_SByte = System_Runtime_InteropServices__MemberInfo)) & ~(System_SByte = System_Reflection_ICustomAttributeProvider)) & ~(System_SByte = System_Runtime_InteropServices__Exception)) & ~(System_SByte = Microsoft_Contracts_GuardException)) & ~(System_SByte = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_SByte = System_Reflection_IReflect)) & ~(System_SByte = System_Runtime_Serialization_ISerializable)) & ~(System_SByte = BoundedStack)) & ~(System_SByte = System_IEquatable_1___System_String)) & ~(System_SByte = System_Runtime_InteropServices__Type)) & ~(System_SByte = System_IComparable_1___System_String)) & ~(System_SByte = System_Collections_IList)) & ~(System_SByte = Microsoft_Contracts_ObjectInvariantException)) & ~(System_SByte = stringLiteral8)) & ~(System_SByte = stringLiteral9)) & ~(System_SByte = stringLiteral10)) & ~(System_SByte = stringLiteral11)) & ~(System_Byte = System_Int16)) & ~(System_Byte = System_UInt16)) & ~(System_Byte = System_Int32)) & ~(System_Byte = System_UInt32)) & ~(System_Byte = System_Int64)) & ~(System_Byte = System_UInt64)) & ~(System_Byte = System_Char)) & ~(System_Byte = System_UIntPtr)) & ~(System_Byte = System_IntPtr)) & ~(System_Byte = BoundedStack_max)) & ~(System_Byte = BoundedStack_size)) & ~(System_Byte = BoundedStack_elems)) & ~(System_Byte = System_Exception)) & ~(System_Byte = System_IComparable)) & ~(System_Byte = System_Collections_ICollection)) & ~(System_Byte = System_ICloneable)) & ~(System_Byte = Microsoft_Contracts_ICheckedException)) & ~(System_Byte = System_IConvertible)) & ~(System_Byte = System_Reflection_MemberInfo)) & ~(System_Byte = System_Collections_IEnumerable)) & ~(System_Byte = System_Runtime_InteropServices__MemberInfo)) & ~(System_Byte = System_Reflection_ICustomAttributeProvider)) & ~(System_Byte = System_Runtime_InteropServices__Exception)) & ~(System_Byte = Microsoft_Contracts_GuardException)) & ~(System_Byte = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Byte = System_Reflection_IReflect)) & ~(System_Byte = System_Runtime_Serialization_ISerializable)) & ~(System_Byte = BoundedStack)) & ~(System_Byte = System_IEquatable_1___System_String)) & ~(System_Byte = System_Runtime_InteropServices__Type)) & ~(System_Byte = System_IComparable_1___System_String)) & ~(System_Byte = System_Collections_IList)) & ~(System_Byte = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Byte = stringLiteral8)) & ~(System_Byte = stringLiteral9)) & ~(System_Byte = stringLiteral10)) & ~(System_Byte = stringLiteral11)) & ~(System_Int16 = System_UInt16)) & ~(System_Int16 = System_Int32)) & ~(System_Int16 = System_UInt32)) & ~(System_Int16 = System_Int64)) & ~(System_Int16 = System_UInt64)) & ~(System_Int16 = System_Char)) & ~(System_Int16 = System_UIntPtr)) & ~(System_Int16 = System_IntPtr)) & ~(System_Int16 = BoundedStack_max)) & ~(System_Int16 = BoundedStack_size)) & ~(System_Int16 = BoundedStack_elems)) & ~(System_Int16 = System_Exception)) & ~(System_Int16 = System_IComparable)) & ~(System_Int16 = System_Collections_ICollection)) & ~(System_Int16 = System_ICloneable)) & ~(System_Int16 = Microsoft_Contracts_ICheckedException)) & ~(System_Int16 = System_IConvertible)) & ~(System_Int16 = System_Reflection_MemberInfo)) & ~(System_Int16 = System_Collections_IEnumerable)) & ~(System_Int16 = System_Runtime_InteropServices__MemberInfo)) & ~(System_Int16 = System_Reflection_ICustomAttributeProvider)) & ~(System_Int16 = System_Runtime_InteropServices__Exception)) & ~(System_Int16 = Microsoft_Contracts_GuardException)) & ~(System_Int16 = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Int16 = System_Reflection_IReflect)) & ~(System_Int16 = System_Runtime_Serialization_ISerializable)) & ~(System_Int16 = BoundedStack)) & ~(System_Int16 = System_IEquatable_1___System_String)) & ~(System_Int16 = System_Runtime_InteropServices__Type)) & ~(System_Int16 = System_IComparable_1___System_String)) & ~(System_Int16 = System_Collections_IList)) & ~(System_Int16 = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Int16 = stringLiteral8)) & ~(System_Int16 = stringLiteral9)) & ~(System_Int16 = stringLiteral10)) & ~(System_Int16 = stringLiteral11)) & ~(System_UInt16 = System_Int32)) & ~(System_UInt16 = System_UInt32)) & ~(System_UInt16 = System_Int64)) & ~(System_UInt16 = System_UInt64)) & ~(System_UInt16 = System_Char)) & ~(System_UInt16 = System_UIntPtr)) & ~(System_UInt16 = System_IntPtr)) & ~(System_UInt16 = BoundedStack_max)) & ~(System_UInt16 = BoundedStack_size)) & ~(System_UInt16 = BoundedStack_elems)) & ~(System_UInt16 = System_Exception)) & ~(System_UInt16 = System_IComparable)) & ~(System_UInt16 = System_Collections_ICollection)) & ~(System_UInt16 = System_ICloneable)) & ~(System_UInt16 = Microsoft_Contracts_ICheckedException)) & ~(System_UInt16 = System_IConvertible)) & ~(System_UInt16 = System_Reflection_MemberInfo)) & ~(System_UInt16 = System_Collections_IEnumerable)) & ~(System_UInt16 = System_Runtime_InteropServices__MemberInfo)) & ~(System_UInt16 = System_Reflection_ICustomAttributeProvider)) & ~(System_UInt16 = System_Runtime_InteropServices__Exception)) & ~(System_UInt16 = Microsoft_Contracts_GuardException)) & ~(System_UInt16 = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_UInt16 = System_Reflection_IReflect)) & ~(System_UInt16 = System_Runtime_Serialization_ISerializable)) & ~(System_UInt16 = BoundedStack)) & ~(System_UInt16 = System_IEquatable_1___System_String)) & ~(System_UInt16 = System_Runtime_InteropServices__Type)) & ~(System_UInt16 = System_IComparable_1___System_String)) & ~(System_UInt16 = System_Collections_IList)) & ~(System_UInt16 = Microsoft_Contracts_ObjectInvariantException)) & ~(System_UInt16 = stringLiteral8)) & ~(System_UInt16 = stringLiteral9)) & ~(System_UInt16 = stringLiteral10)) & ~(System_UInt16 = stringLiteral11)) & ~(System_Int32 = System_UInt32)) & ~(System_Int32 = System_Int64)) & ~(System_Int32 = System_UInt64)) & ~(System_Int32 = System_Char)) & ~(System_Int32 = System_UIntPtr)) & ~(System_Int32 = System_IntPtr)) & ~(System_Int32 = BoundedStack_max)) & ~(System_Int32 = BoundedStack_size)) & ~(System_Int32 = BoundedStack_elems)) & ~(System_Int32 = System_Exception)) & ~(System_Int32 = System_IComparable)) & ~(System_Int32 = System_Collections_ICollection)) & ~(System_Int32 = System_ICloneable)) & ~(System_Int32 = Microsoft_Contracts_ICheckedException)) & ~(System_Int32 = System_IConvertible)) & ~(System_Int32 = System_Reflection_MemberInfo)) & ~(System_Int32 = System_Collections_IEnumerable)) & ~(System_Int32 = System_Runtime_InteropServices__MemberInfo)) & ~(System_Int32 = System_Reflection_ICustomAttributeProvider)) & ~(System_Int32 = System_Runtime_InteropServices__Exception)) & ~(System_Int32 = Microsoft_Contracts_GuardException)) & ~(System_Int32 = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Int32 = System_Reflection_IReflect)) & ~(System_Int32 = System_Runtime_Serialization_ISerializable)) & ~(System_Int32 = BoundedStack)) & ~(System_Int32 = System_IEquatable_1___System_String)) & ~(System_Int32 = System_Runtime_InteropServices__Type)) & ~(System_Int32 = System_IComparable_1___System_String)) & ~(System_Int32 = System_Collections_IList)) & ~(System_Int32 = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Int32 = stringLiteral8)) & ~(System_Int32 = stringLiteral9)) & ~(System_Int32 = stringLiteral10)) & ~(System_Int32 = stringLiteral11)) & ~(System_UInt32 = System_Int64)) & ~(System_UInt32 = System_UInt64)) & ~(System_UInt32 = System_Char)) & ~(System_UInt32 = System_UIntPtr)) & ~(System_UInt32 = System_IntPtr)) & ~(System_UInt32 = BoundedStack_max)) & ~(System_UInt32 = BoundedStack_size)) & ~(System_UInt32 = BoundedStack_elems)) & ~(System_UInt32 = System_Exception)) & ~(System_UInt32 = System_IComparable)) & ~(System_UInt32 = System_Collections_ICollection)) & ~(System_UInt32 = System_ICloneable)) & ~(System_UInt32 = Microsoft_Contracts_ICheckedException)) & ~(System_UInt32 = System_IConvertible)) & ~(System_UInt32 = System_Reflection_MemberInfo)) & ~(System_UInt32 = System_Collections_IEnumerable)) & ~(System_UInt32 = System_Runtime_InteropServices__MemberInfo)) & ~(System_UInt32 = System_Reflection_ICustomAttributeProvider)) & ~(System_UInt32 = System_Runtime_InteropServices__Exception)) & ~(System_UInt32 = Microsoft_Contracts_GuardException)) & ~(System_UInt32 = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_UInt32 = System_Reflection_IReflect)) & ~(System_UInt32 = System_Runtime_Serialization_ISerializable)) & ~(System_UInt32 = BoundedStack)) & ~(System_UInt32 = System_IEquatable_1___System_String)) & ~(System_UInt32 = System_Runtime_InteropServices__Type)) & ~(System_UInt32 = System_IComparable_1___System_String)) & ~(System_UInt32 = System_Collections_IList)) & ~(System_UInt32 = Microsoft_Contracts_ObjectInvariantException)) & ~(System_UInt32 = stringLiteral8)) & ~(System_UInt32 = stringLiteral9)) & ~(System_UInt32 = stringLiteral10)) & ~(System_UInt32 = stringLiteral11)) & ~(System_Int64 = System_UInt64)) & ~(System_Int64 = System_Char)) & ~(System_Int64 = System_UIntPtr)) & ~(System_Int64 = System_IntPtr)) & ~(System_Int64 = BoundedStack_max)) & ~(System_Int64 = BoundedStack_size)) & ~(System_Int64 = BoundedStack_elems)) & ~(System_Int64 = System_Exception)) & ~(System_Int64 = System_IComparable)) & ~(System_Int64 = System_Collections_ICollection)) & ~(System_Int64 = System_ICloneable)) & ~(System_Int64 = Microsoft_Contracts_ICheckedException)) & ~(System_Int64 = System_IConvertible)) & ~(System_Int64 = System_Reflection_MemberInfo)) & ~(System_Int64 = System_Collections_IEnumerable)) & ~(System_Int64 = System_Runtime_InteropServices__MemberInfo)) & ~(System_Int64 = System_Reflection_ICustomAttributeProvider)) & ~(System_Int64 = System_Runtime_InteropServices__Exception)) & ~(System_Int64 = Microsoft_Contracts_GuardException)) & ~(System_Int64 = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Int64 = System_Reflection_IReflect)) & ~(System_Int64 = System_Runtime_Serialization_ISerializable)) & ~(System_Int64 = BoundedStack)) & ~(System_Int64 = System_IEquatable_1___System_String)) & ~(System_Int64 = System_Runtime_InteropServices__Type)) & ~(System_Int64 = System_IComparable_1___System_String)) & ~(System_Int64 = System_Collections_IList)) & ~(System_Int64 = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Int64 = stringLiteral8)) & ~(System_Int64 = stringLiteral9)) & ~(System_Int64 = stringLiteral10)) & ~(System_Int64 = stringLiteral11)) & ~(System_UInt64 = System_Char)) & ~(System_UInt64 = System_UIntPtr)) & ~(System_UInt64 = System_IntPtr)) & ~(System_UInt64 = BoundedStack_max)) & ~(System_UInt64 = BoundedStack_size)) & ~(System_UInt64 = BoundedStack_elems)) & ~(System_UInt64 = System_Exception)) & ~(System_UInt64 = System_IComparable)) & ~(System_UInt64 = System_Collections_ICollection)) & ~(System_UInt64 = System_ICloneable)) & ~(System_UInt64 = Microsoft_Contracts_ICheckedException)) & ~(System_UInt64 = System_IConvertible)) & ~(System_UInt64 = System_Reflection_MemberInfo)) & ~(System_UInt64 = System_Collections_IEnumerable)) & ~(System_UInt64 = System_Runtime_InteropServices__MemberInfo)) & ~(System_UInt64 = System_Reflection_ICustomAttributeProvider)) & ~(System_UInt64 = System_Runtime_InteropServices__Exception)) & ~(System_UInt64 = Microsoft_Contracts_GuardException)) & ~(System_UInt64 = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_UInt64 = System_Reflection_IReflect)) & ~(System_UInt64 = System_Runtime_Serialization_ISerializable)) & ~(System_UInt64 = BoundedStack)) & ~(System_UInt64 = System_IEquatable_1___System_String)) & ~(System_UInt64 = System_Runtime_InteropServices__Type)) & ~(System_UInt64 = System_IComparable_1___System_String)) & ~(System_UInt64 = System_Collections_IList)) & ~(System_UInt64 = Microsoft_Contracts_ObjectInvariantException)) & ~(System_UInt64 = stringLiteral8)) & ~(System_UInt64 = stringLiteral9)) & ~(System_UInt64 = stringLiteral10)) & ~(System_UInt64 = stringLiteral11)) & ~(System_Char = System_UIntPtr)) & ~(System_Char = System_IntPtr)) & ~(System_Char = BoundedStack_max)) & ~(System_Char = BoundedStack_size)) & ~(System_Char = BoundedStack_elems)) & ~(System_Char = System_Exception)) & ~(System_Char = System_IComparable)) & ~(System_Char = System_Collections_ICollection)) & ~(System_Char = System_ICloneable)) & ~(System_Char = Microsoft_Contracts_ICheckedException)) & ~(System_Char = System_IConvertible)) & ~(System_Char = System_Reflection_MemberInfo)) & ~(System_Char = System_Collections_IEnumerable)) & ~(System_Char = System_Runtime_InteropServices__MemberInfo)) & ~(System_Char = System_Reflection_ICustomAttributeProvider)) & ~(System_Char = System_Runtime_InteropServices__Exception)) & ~(System_Char = Microsoft_Contracts_GuardException)) & ~(System_Char = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Char = System_Reflection_IReflect)) & ~(System_Char = System_Runtime_Serialization_ISerializable)) & ~(System_Char = BoundedStack)) & ~(System_Char = System_IEquatable_1___System_String)) & ~(System_Char = System_Runtime_InteropServices__Type)) & ~(System_Char = System_IComparable_1___System_String)) & ~(System_Char = System_Collections_IList)) & ~(System_Char = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Char = stringLiteral8)) & ~(System_Char = stringLiteral9)) & ~(System_Char = stringLiteral10)) & ~(System_Char = stringLiteral11)) & ~(System_UIntPtr = System_IntPtr)) & ~(System_UIntPtr = BoundedStack_max)) & ~(System_UIntPtr = BoundedStack_size)) & ~(System_UIntPtr = BoundedStack_elems)) & ~(System_UIntPtr = System_Exception)) & ~(System_UIntPtr = System_IComparable)) & ~(System_UIntPtr = System_Collections_ICollection)) & ~(System_UIntPtr = System_ICloneable)) & ~(System_UIntPtr = Microsoft_Contracts_ICheckedException)) & ~(System_UIntPtr = System_IConvertible)) & ~(System_UIntPtr = System_Reflection_MemberInfo)) & ~(System_UIntPtr = System_Collections_IEnumerable)) & ~(System_UIntPtr = System_Runtime_InteropServices__MemberInfo)) & ~(System_UIntPtr = System_Reflection_ICustomAttributeProvider)) & ~(System_UIntPtr = System_Runtime_InteropServices__Exception)) & ~(System_UIntPtr = Microsoft_Contracts_GuardException)) & ~(System_UIntPtr = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_UIntPtr = System_Reflection_IReflect)) & ~(System_UIntPtr = System_Runtime_Serialization_ISerializable)) & ~(System_UIntPtr = BoundedStack)) & ~(System_UIntPtr = System_IEquatable_1___System_String)) & ~(System_UIntPtr = System_Runtime_InteropServices__Type)) & ~(System_UIntPtr = System_IComparable_1___System_String)) & ~(System_UIntPtr = System_Collections_IList)) & ~(System_UIntPtr = Microsoft_Contracts_ObjectInvariantException)) & ~(System_UIntPtr = stringLiteral8)) & ~(System_UIntPtr = stringLiteral9)) & ~(System_UIntPtr = stringLiteral10)) & ~(System_UIntPtr = stringLiteral11)) & ~(System_IntPtr = BoundedStack_max)) & ~(System_IntPtr = BoundedStack_size)) & ~(System_IntPtr = BoundedStack_elems)) & ~(System_IntPtr = System_Exception)) & ~(System_IntPtr = System_IComparable)) & ~(System_IntPtr = System_Collections_ICollection)) & ~(System_IntPtr = System_ICloneable)) & ~(System_IntPtr = Microsoft_Contracts_ICheckedException)) & ~(System_IntPtr = System_IConvertible)) & ~(System_IntPtr = System_Reflection_MemberInfo)) & ~(System_IntPtr = System_Collections_IEnumerable)) & ~(System_IntPtr = System_Runtime_InteropServices__MemberInfo)) & ~(System_IntPtr = System_Reflection_ICustomAttributeProvider)) & ~(System_IntPtr = System_Runtime_InteropServices__Exception)) & ~(System_IntPtr = Microsoft_Contracts_GuardException)) & ~(System_IntPtr = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_IntPtr = System_Reflection_IReflect)) & ~(System_IntPtr = System_Runtime_Serialization_ISerializable)) & ~(System_IntPtr = BoundedStack)) & ~(System_IntPtr = System_IEquatable_1___System_String)) & ~(System_IntPtr = System_Runtime_InteropServices__Type)) & ~(System_IntPtr = System_IComparable_1___System_String)) & ~(System_IntPtr = System_Collections_IList)) & ~(System_IntPtr = Microsoft_Contracts_ObjectInvariantException)) & ~(System_IntPtr = stringLiteral8)) & ~(System_IntPtr = stringLiteral9)) & ~(System_IntPtr = stringLiteral10)) & ~(System_IntPtr = stringLiteral11)) & ~(BoundedStack_max = BoundedStack_size)) & ~(BoundedStack_max = BoundedStack_elems)) & ~(BoundedStack_max = System_Exception)) & ~(BoundedStack_max = System_IComparable)) & ~(BoundedStack_max = System_Collections_ICollection)) & ~(BoundedStack_max = System_ICloneable)) & ~(BoundedStack_max = Microsoft_Contracts_ICheckedException)) & ~(BoundedStack_max = System_IConvertible)) & ~(BoundedStack_max = System_Reflection_MemberInfo)) & ~(BoundedStack_max = System_Collections_IEnumerable)) & ~(BoundedStack_max = System_Runtime_InteropServices__MemberInfo)) & ~(BoundedStack_max = System_Reflection_ICustomAttributeProvider)) & ~(BoundedStack_max = System_Runtime_InteropServices__Exception)) & ~(BoundedStack_max = Microsoft_Contracts_GuardException)) & ~(BoundedStack_max = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(BoundedStack_max = System_Reflection_IReflect)) & ~(BoundedStack_max = System_Runtime_Serialization_ISerializable)) & ~(BoundedStack_max = BoundedStack)) & ~(BoundedStack_max = System_IEquatable_1___System_String)) & ~(BoundedStack_max = System_Runtime_InteropServices__Type)) & ~(BoundedStack_max = System_IComparable_1___System_String)) & ~(BoundedStack_max = System_Collections_IList)) & ~(BoundedStack_max = Microsoft_Contracts_ObjectInvariantException)) & ~(BoundedStack_max = stringLiteral8)) & ~(BoundedStack_max = stringLiteral9)) & ~(BoundedStack_max = stringLiteral10)) & ~(BoundedStack_max = stringLiteral11)) & ~(BoundedStack_size = BoundedStack_elems)) & ~(BoundedStack_size = System_Exception)) & ~(BoundedStack_size = System_IComparable)) & ~(BoundedStack_size = System_Collections_ICollection)) & ~(BoundedStack_size = System_ICloneable)) & ~(BoundedStack_size = Microsoft_Contracts_ICheckedException)) & ~(BoundedStack_size = System_IConvertible)) & ~(BoundedStack_size = System_Reflection_MemberInfo)) & ~(BoundedStack_size = System_Collections_IEnumerable)) & ~(BoundedStack_size = System_Runtime_InteropServices__MemberInfo)) & ~(BoundedStack_size = System_Reflection_ICustomAttributeProvider)) & ~(BoundedStack_size = System_Runtime_InteropServices__Exception)) & ~(BoundedStack_size = Microsoft_Contracts_GuardException)) & ~(BoundedStack_size = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(BoundedStack_size = System_Reflection_IReflect)) & ~(BoundedStack_size = System_Runtime_Serialization_ISerializable)) & ~(BoundedStack_size = BoundedStack)) & ~(BoundedStack_size = System_IEquatable_1___System_String)) & ~(BoundedStack_size = System_Runtime_InteropServices__Type)) & ~(BoundedStack_size = System_IComparable_1___System_String)) & ~(BoundedStack_size = System_Collections_IList)) & ~(BoundedStack_size = Microsoft_Contracts_ObjectInvariantException)) & ~(BoundedStack_size = stringLiteral8)) & ~(BoundedStack_size = stringLiteral9)) & ~(BoundedStack_size = stringLiteral10)) & ~(BoundedStack_size = stringLiteral11)) & ~(BoundedStack_elems = System_Exception)) & ~(BoundedStack_elems = System_IComparable)) & ~(BoundedStack_elems = System_Collections_ICollection)) & ~(BoundedStack_elems = System_ICloneable)) & ~(BoundedStack_elems = Microsoft_Contracts_ICheckedException)) & ~(BoundedStack_elems = System_IConvertible)) & ~(BoundedStack_elems = System_Reflection_MemberInfo)) & ~(BoundedStack_elems = System_Collections_IEnumerable)) & ~(BoundedStack_elems = System_Runtime_InteropServices__MemberInfo)) & ~(BoundedStack_elems = System_Reflection_ICustomAttributeProvider)) & ~(BoundedStack_elems = System_Runtime_InteropServices__Exception)) & ~(BoundedStack_elems = Microsoft_Contracts_GuardException)) & ~(BoundedStack_elems = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(BoundedStack_elems = System_Reflection_IReflect)) & ~(BoundedStack_elems = System_Runtime_Serialization_ISerializable)) & ~(BoundedStack_elems = BoundedStack)) & ~(BoundedStack_elems = System_IEquatable_1___System_String)) & ~(BoundedStack_elems = System_Runtime_InteropServices__Type)) & ~(BoundedStack_elems = System_IComparable_1___System_String)) & ~(BoundedStack_elems = System_Collections_IList)) & ~(BoundedStack_elems = Microsoft_Contracts_ObjectInvariantException)) & ~(BoundedStack_elems = stringLiteral8)) & ~(BoundedStack_elems = stringLiteral9)) & ~(BoundedStack_elems = stringLiteral10)) & ~(BoundedStack_elems = stringLiteral11)) & ~(System_Exception = System_IComparable)) & ~(System_Exception = System_Collections_ICollection)) & ~(System_Exception = System_ICloneable)) & ~(System_Exception = Microsoft_Contracts_ICheckedException)) & ~(System_Exception = System_IConvertible)) & ~(System_Exception = System_Reflection_MemberInfo)) & ~(System_Exception = System_Collections_IEnumerable)) & ~(System_Exception = System_Runtime_InteropServices__MemberInfo)) & ~(System_Exception = System_Reflection_ICustomAttributeProvider)) & ~(System_Exception = System_Runtime_InteropServices__Exception)) & ~(System_Exception = Microsoft_Contracts_GuardException)) & ~(System_Exception = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Exception = System_Reflection_IReflect)) & ~(System_Exception = System_Runtime_Serialization_ISerializable)) & ~(System_Exception = BoundedStack)) & ~(System_Exception = System_IEquatable_1___System_String)) & ~(System_Exception = System_Runtime_InteropServices__Type)) & ~(System_Exception = System_IComparable_1___System_String)) & ~(System_Exception = System_Collections_IList)) & ~(System_Exception = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Exception = stringLiteral8)) & ~(System_Exception = stringLiteral9)) & ~(System_Exception = stringLiteral10)) & ~(System_Exception = stringLiteral11)) & ~(System_IComparable = System_Collections_ICollection)) & ~(System_IComparable = System_ICloneable)) & ~(System_IComparable = Microsoft_Contracts_ICheckedException)) & ~(System_IComparable = System_IConvertible)) & ~(System_IComparable = System_Reflection_MemberInfo)) & ~(System_IComparable = System_Collections_IEnumerable)) & ~(System_IComparable = System_Runtime_InteropServices__MemberInfo)) & ~(System_IComparable = System_Reflection_ICustomAttributeProvider)) & ~(System_IComparable = System_Runtime_InteropServices__Exception)) & ~(System_IComparable = Microsoft_Contracts_GuardException)) & ~(System_IComparable = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_IComparable = System_Reflection_IReflect)) & ~(System_IComparable = System_Runtime_Serialization_ISerializable)) & ~(System_IComparable = BoundedStack)) & ~(System_IComparable = System_IEquatable_1___System_String)) & ~(System_IComparable = System_Runtime_InteropServices__Type)) & ~(System_IComparable = System_IComparable_1___System_String)) & ~(System_IComparable = System_Collections_IList)) & ~(System_IComparable = Microsoft_Contracts_ObjectInvariantException)) & ~(System_IComparable = stringLiteral8)) & ~(System_IComparable = stringLiteral9)) & ~(System_IComparable = stringLiteral10)) & ~(System_IComparable = stringLiteral11)) & ~(System_Collections_ICollection = System_ICloneable)) & ~(System_Collections_ICollection = Microsoft_Contracts_ICheckedException)) & ~(System_Collections_ICollection = System_IConvertible)) & ~(System_Collections_ICollection = System_Reflection_MemberInfo)) & ~(System_Collections_ICollection = System_Collections_IEnumerable)) & ~(System_Collections_ICollection = System_Runtime_InteropServices__MemberInfo)) & ~(System_Collections_ICollection = System_Reflection_ICustomAttributeProvider)) & ~(System_Collections_ICollection = System_Runtime_InteropServices__Exception)) & ~(System_Collections_ICollection = Microsoft_Contracts_GuardException)) & ~(System_Collections_ICollection = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Collections_ICollection = System_Reflection_IReflect)) & ~(System_Collections_ICollection = System_Runtime_Serialization_ISerializable)) & ~(System_Collections_ICollection = BoundedStack)) & ~(System_Collections_ICollection = System_IEquatable_1___System_String)) & ~(System_Collections_ICollection = System_Runtime_InteropServices__Type)) & ~(System_Collections_ICollection = System_IComparable_1___System_String)) & ~(System_Collections_ICollection = System_Collections_IList)) & ~(System_Collections_ICollection = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Collections_ICollection = stringLiteral8)) & ~(System_Collections_ICollection = stringLiteral9)) & ~(System_Collections_ICollection = stringLiteral10)) & ~(System_Collections_ICollection = stringLiteral11)) & ~(System_ICloneable = Microsoft_Contracts_ICheckedException)) & ~(System_ICloneable = System_IConvertible)) & ~(System_ICloneable = System_Reflection_MemberInfo)) & ~(System_ICloneable = System_Collections_IEnumerable)) & ~(System_ICloneable = System_Runtime_InteropServices__MemberInfo)) & ~(System_ICloneable = System_Reflection_ICustomAttributeProvider)) & ~(System_ICloneable = System_Runtime_InteropServices__Exception)) & ~(System_ICloneable = Microsoft_Contracts_GuardException)) & ~(System_ICloneable = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_ICloneable = System_Reflection_IReflect)) & ~(System_ICloneable = System_Runtime_Serialization_ISerializable)) & ~(System_ICloneable = BoundedStack)) & ~(System_ICloneable = System_IEquatable_1___System_String)) & ~(System_ICloneable = System_Runtime_InteropServices__Type)) & ~(System_ICloneable = System_IComparable_1___System_String)) & ~(System_ICloneable = System_Collections_IList)) & ~(System_ICloneable = Microsoft_Contracts_ObjectInvariantException)) & ~(System_ICloneable = stringLiteral8)) & ~(System_ICloneable = stringLiteral9)) & ~(System_ICloneable = stringLiteral10)) & ~(System_ICloneable = stringLiteral11)) & ~(Microsoft_Contracts_ICheckedException = System_IConvertible)) & ~(Microsoft_Contracts_ICheckedException = System_Reflection_MemberInfo)) & ~(Microsoft_Contracts_ICheckedException = System_Collections_IEnumerable)) & ~(Microsoft_Contracts_ICheckedException = System_Runtime_InteropServices__MemberInfo)) & ~(Microsoft_Contracts_ICheckedException = System_Reflection_ICustomAttributeProvider)) & ~(Microsoft_Contracts_ICheckedException = System_Runtime_InteropServices__Exception)) & ~(Microsoft_Contracts_ICheckedException = Microsoft_Contracts_GuardException)) & ~(Microsoft_Contracts_ICheckedException = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(Microsoft_Contracts_ICheckedException = System_Reflection_IReflect)) & ~(Microsoft_Contracts_ICheckedException = System_Runtime_Serialization_ISerializable)) & ~(Microsoft_Contracts_ICheckedException = BoundedStack)) & ~(Microsoft_Contracts_ICheckedException = System_IEquatable_1___System_String)) & ~(Microsoft_Contracts_ICheckedException = System_Runtime_InteropServices__Type)) & ~(Microsoft_Contracts_ICheckedException = System_IComparable_1___System_String)) & ~(Microsoft_Contracts_ICheckedException = System_Collections_IList)) & ~(Microsoft_Contracts_ICheckedException = Microsoft_Contracts_ObjectInvariantException)) & ~(Microsoft_Contracts_ICheckedException = stringLiteral8)) & ~(Microsoft_Contracts_ICheckedException = stringLiteral9)) & ~(Microsoft_Contracts_ICheckedException = stringLiteral10)) & ~(Microsoft_Contracts_ICheckedException = stringLiteral11)) & ~(System_IConvertible = System_Reflection_MemberInfo)) & ~(System_IConvertible = System_Collections_IEnumerable)) & ~(System_IConvertible = System_Runtime_InteropServices__MemberInfo)) & ~(System_IConvertible = System_Reflection_ICustomAttributeProvider)) & ~(System_IConvertible = System_Runtime_InteropServices__Exception)) & ~(System_IConvertible = Microsoft_Contracts_GuardException)) & ~(System_IConvertible = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_IConvertible = System_Reflection_IReflect)) & ~(System_IConvertible = System_Runtime_Serialization_ISerializable)) & ~(System_IConvertible = BoundedStack)) & ~(System_IConvertible = System_IEquatable_1___System_String)) & ~(System_IConvertible = System_Runtime_InteropServices__Type)) & ~(System_IConvertible = System_IComparable_1___System_String)) & ~(System_IConvertible = System_Collections_IList)) & ~(System_IConvertible = Microsoft_Contracts_ObjectInvariantException)) & ~(System_IConvertible = stringLiteral8)) & ~(System_IConvertible = stringLiteral9)) & ~(System_IConvertible = stringLiteral10)) & ~(System_IConvertible = stringLiteral11)) & ~(System_Reflection_MemberInfo = System_Collections_IEnumerable)) & ~(System_Reflection_MemberInfo = System_Runtime_InteropServices__MemberInfo)) & ~(System_Reflection_MemberInfo = System_Reflection_ICustomAttributeProvider)) & ~(System_Reflection_MemberInfo = System_Runtime_InteropServices__Exception)) & ~(System_Reflection_MemberInfo = Microsoft_Contracts_GuardException)) & ~(System_Reflection_MemberInfo = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Reflection_MemberInfo = System_Reflection_IReflect)) & ~(System_Reflection_MemberInfo = System_Runtime_Serialization_ISerializable)) & ~(System_Reflection_MemberInfo = BoundedStack)) & ~(System_Reflection_MemberInfo = System_IEquatable_1___System_String)) & ~(System_Reflection_MemberInfo = System_Runtime_InteropServices__Type)) & ~(System_Reflection_MemberInfo = System_IComparable_1___System_String)) & ~(System_Reflection_MemberInfo = System_Collections_IList)) & ~(System_Reflection_MemberInfo = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Reflection_MemberInfo = stringLiteral8)) & ~(System_Reflection_MemberInfo = stringLiteral9)) & ~(System_Reflection_MemberInfo = stringLiteral10)) & ~(System_Reflection_MemberInfo = stringLiteral11)) & ~(System_Collections_IEnumerable = System_Runtime_InteropServices__MemberInfo)) & ~(System_Collections_IEnumerable = System_Reflection_ICustomAttributeProvider)) & ~(System_Collections_IEnumerable = System_Runtime_InteropServices__Exception)) & ~(System_Collections_IEnumerable = Microsoft_Contracts_GuardException)) & ~(System_Collections_IEnumerable = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Collections_IEnumerable = System_Reflection_IReflect)) & ~(System_Collections_IEnumerable = System_Runtime_Serialization_ISerializable)) & ~(System_Collections_IEnumerable = BoundedStack)) & ~(System_Collections_IEnumerable = System_IEquatable_1___System_String)) & ~(System_Collections_IEnumerable = System_Runtime_InteropServices__Type)) & ~(System_Collections_IEnumerable = System_IComparable_1___System_String)) & ~(System_Collections_IEnumerable = System_Collections_IList)) & ~(System_Collections_IEnumerable = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Collections_IEnumerable = stringLiteral8)) & ~(System_Collections_IEnumerable = stringLiteral9)) & ~(System_Collections_IEnumerable = stringLiteral10)) & ~(System_Collections_IEnumerable = stringLiteral11)) & ~(System_Runtime_InteropServices__MemberInfo = System_Reflection_ICustomAttributeProvider)) & ~(System_Runtime_InteropServices__MemberInfo = System_Runtime_InteropServices__Exception)) & ~(System_Runtime_InteropServices__MemberInfo = Microsoft_Contracts_GuardException)) & ~(System_Runtime_InteropServices__MemberInfo = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Runtime_InteropServices__MemberInfo = System_Reflection_IReflect)) & ~(System_Runtime_InteropServices__MemberInfo = System_Runtime_Serialization_ISerializable)) & ~(System_Runtime_InteropServices__MemberInfo = BoundedStack)) & ~(System_Runtime_InteropServices__MemberInfo = System_IEquatable_1___System_String)) & ~(System_Runtime_InteropServices__MemberInfo = System_Runtime_InteropServices__Type)) & ~(System_Runtime_InteropServices__MemberInfo = System_IComparable_1___System_String)) & ~(System_Runtime_InteropServices__MemberInfo = System_Collections_IList)) & ~(System_Runtime_InteropServices__MemberInfo = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Runtime_InteropServices__MemberInfo = stringLiteral8)) & ~(System_Runtime_InteropServices__MemberInfo = stringLiteral9)) & ~(System_Runtime_InteropServices__MemberInfo = stringLiteral10)) & ~(System_Runtime_InteropServices__MemberInfo = stringLiteral11)) & ~(System_Reflection_ICustomAttributeProvider = System_Runtime_InteropServices__Exception)) & ~(System_Reflection_ICustomAttributeProvider = Microsoft_Contracts_GuardException)) & ~(System_Reflection_ICustomAttributeProvider = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Reflection_ICustomAttributeProvider = System_Reflection_IReflect)) & ~(System_Reflection_ICustomAttributeProvider = System_Runtime_Serialization_ISerializable)) & ~(System_Reflection_ICustomAttributeProvider = BoundedStack)) & ~(System_Reflection_ICustomAttributeProvider = System_IEquatable_1___System_String)) & ~(System_Reflection_ICustomAttributeProvider = System_Runtime_InteropServices__Type)) & ~(System_Reflection_ICustomAttributeProvider = System_IComparable_1___System_String)) & ~(System_Reflection_ICustomAttributeProvider = System_Collections_IList)) & ~(System_Reflection_ICustomAttributeProvider = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Reflection_ICustomAttributeProvider = stringLiteral8)) & ~(System_Reflection_ICustomAttributeProvider = stringLiteral9)) & ~(System_Reflection_ICustomAttributeProvider = stringLiteral10)) & ~(System_Reflection_ICustomAttributeProvider = stringLiteral11)) & ~(System_Runtime_InteropServices__Exception = Microsoft_Contracts_GuardException)) & ~(System_Runtime_InteropServices__Exception = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Runtime_InteropServices__Exception = System_Reflection_IReflect)) & ~(System_Runtime_InteropServices__Exception = System_Runtime_Serialization_ISerializable)) & ~(System_Runtime_InteropServices__Exception = BoundedStack)) & ~(System_Runtime_InteropServices__Exception = System_IEquatable_1___System_String)) & ~(System_Runtime_InteropServices__Exception = System_Runtime_InteropServices__Type)) & ~(System_Runtime_InteropServices__Exception = System_IComparable_1___System_String)) & ~(System_Runtime_InteropServices__Exception = System_Collections_IList)) & ~(System_Runtime_InteropServices__Exception = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Runtime_InteropServices__Exception = stringLiteral8)) & ~(System_Runtime_InteropServices__Exception = stringLiteral9)) & ~(System_Runtime_InteropServices__Exception = stringLiteral10)) & ~(System_Runtime_InteropServices__Exception = stringLiteral11)) & ~(Microsoft_Contracts_GuardException = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(Microsoft_Contracts_GuardException = System_Reflection_IReflect)) & ~(Microsoft_Contracts_GuardException = System_Runtime_Serialization_ISerializable)) & ~(Microsoft_Contracts_GuardException = BoundedStack)) & ~(Microsoft_Contracts_GuardException = System_IEquatable_1___System_String)) & ~(Microsoft_Contracts_GuardException = System_Runtime_InteropServices__Type)) & ~(Microsoft_Contracts_GuardException = System_IComparable_1___System_String)) & ~(Microsoft_Contracts_GuardException = System_Collections_IList)) & ~(Microsoft_Contracts_GuardException = Microsoft_Contracts_ObjectInvariantException)) & ~(Microsoft_Contracts_GuardException = stringLiteral8)) & ~(Microsoft_Contracts_GuardException = stringLiteral9)) & ~(Microsoft_Contracts_GuardException = stringLiteral10)) & ~(Microsoft_Contracts_GuardException = stringLiteral11)) & ~(System_Collections_Generic_IEnumerable_1___System_Char = System_Reflection_IReflect)) & ~(System_Collections_Generic_IEnumerable_1___System_Char = System_Runtime_Serialization_ISerializable)) & ~(System_Collections_Generic_IEnumerable_1___System_Char = BoundedStack)) & ~(System_Collections_Generic_IEnumerable_1___System_Char = System_IEquatable_1___System_String)) & ~(System_Collections_Generic_IEnumerable_1___System_Char = System_Runtime_InteropServices__Type)) & ~(System_Collections_Generic_IEnumerable_1___System_Char = System_IComparable_1___System_String)) & ~(System_Collections_Generic_IEnumerable_1___System_Char = System_Collections_IList)) & ~(System_Collections_Generic_IEnumerable_1___System_Char = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Collections_Generic_IEnumerable_1___System_Char = stringLiteral8)) & ~(System_Collections_Generic_IEnumerable_1___System_Char = stringLiteral9)) & ~(System_Collections_Generic_IEnumerable_1___System_Char = stringLiteral10)) & ~(System_Collections_Generic_IEnumerable_1___System_Char = stringLiteral11)) & ~(System_Reflection_IReflect = System_Runtime_Serialization_ISerializable)) & ~(System_Reflection_IReflect = BoundedStack)) & ~(System_Reflection_IReflect = System_IEquatable_1___System_String)) & ~(System_Reflection_IReflect = System_Runtime_InteropServices__Type)) & ~(System_Reflection_IReflect = System_IComparable_1___System_String)) & ~(System_Reflection_IReflect = System_Collections_IList)) & ~(System_Reflection_IReflect = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Reflection_IReflect = stringLiteral8)) & ~(System_Reflection_IReflect = stringLiteral9)) & ~(System_Reflection_IReflect = stringLiteral10)) & ~(System_Reflection_IReflect = stringLiteral11)) & ~(System_Runtime_Serialization_ISerializable = BoundedStack)) & ~(System_Runtime_Serialization_ISerializable = System_IEquatable_1___System_String)) & ~(System_Runtime_Serialization_ISerializable = System_Runtime_InteropServices__Type)) & ~(System_Runtime_Serialization_ISerializable = System_IComparable_1___System_String)) & ~(System_Runtime_Serialization_ISerializable = System_Collections_IList)) & ~(System_Runtime_Serialization_ISerializable = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Runtime_Serialization_ISerializable = stringLiteral8)) & ~(System_Runtime_Serialization_ISerializable = stringLiteral9)) & ~(System_Runtime_Serialization_ISerializable = stringLiteral10)) & ~(System_Runtime_Serialization_ISerializable = stringLiteral11)) & ~(BoundedStack = System_IEquatable_1___System_String)) & ~(BoundedStack = System_Runtime_InteropServices__Type)) & ~(BoundedStack = System_IComparable_1___System_String)) & ~(BoundedStack = System_Collections_IList)) & ~(BoundedStack = Microsoft_Contracts_ObjectInvariantException)) & ~(BoundedStack = stringLiteral8)) & ~(BoundedStack = stringLiteral9)) & ~(BoundedStack = stringLiteral10)) & ~(BoundedStack = stringLiteral11)) & ~(System_IEquatable_1___System_String = System_Runtime_InteropServices__Type)) & ~(System_IEquatable_1___System_String = System_IComparable_1___System_String)) & ~(System_IEquatable_1___System_String = System_Collections_IList)) & ~(System_IEquatable_1___System_String = Microsoft_Contracts_ObjectInvariantException)) & ~(System_IEquatable_1___System_String = stringLiteral8)) & ~(System_IEquatable_1___System_String = stringLiteral9)) & ~(System_IEquatable_1___System_String = stringLiteral10)) & ~(System_IEquatable_1___System_String = stringLiteral11)) & ~(System_Runtime_InteropServices__Type = System_IComparable_1___System_String)) & ~(System_Runtime_InteropServices__Type = System_Collections_IList)) & ~(System_Runtime_InteropServices__Type = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Runtime_InteropServices__Type = stringLiteral8)) & ~(System_Runtime_InteropServices__Type = stringLiteral9)) & ~(System_Runtime_InteropServices__Type = stringLiteral10)) & ~(System_Runtime_InteropServices__Type = stringLiteral11)) & ~(System_IComparable_1___System_String = System_Collections_IList)) & ~(System_IComparable_1___System_String = Microsoft_Contracts_ObjectInvariantException)) & ~(System_IComparable_1___System_String = stringLiteral8)) & ~(System_IComparable_1___System_String = stringLiteral9)) & ~(System_IComparable_1___System_String = stringLiteral10)) & ~(System_IComparable_1___System_String = stringLiteral11)) & ~(System_Collections_IList = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Collections_IList = stringLiteral8)) & ~(System_Collections_IList = stringLiteral9)) & ~(System_Collections_IList = stringLiteral10)) & ~(System_Collections_IList = stringLiteral11)) & ~(Microsoft_Contracts_ObjectInvariantException = stringLiteral8)) & ~(Microsoft_Contracts_ObjectInvariantException = stringLiteral9)) & ~(Microsoft_Contracts_ObjectInvariantException = stringLiteral10)) & ~(Microsoft_Contracts_ObjectInvariantException = stringLiteral11)) & ~(stringLiteral8 = stringLiteral9)) & ~(stringLiteral8 = stringLiteral10)) & ~(stringLiteral8 = stringLiteral11)) & ~(stringLiteral9 = stringLiteral10)) & ~(stringLiteral9 = stringLiteral11)) & ~(stringLiteral10 = stringLiteral11)) | ~(DeclType(elements) = System_Object)) | ~(DeclType(exposeVersion) = System_Object)) | ~(![A__questionmark_ca:$int]: (ClassReprInv(ClassRepr(A__questionmark_ca)) = A__questionmark_ca))) | ~(![A__questionmark_Ta:$int]: ~(x(typeof(ClassRepr(A__questionmark_Ta)), System_Object) = true_1))) | ~(![A__questionmark_Ta:$int]: ~(ClassRepr(A__questionmark_Ta) = nullObject))) | ~(![A__questionmark_Ta:$int, A__questionmark_h_1a:$int]: ((IsHeap(A__questionmark_h_1a) = true_1) => (select2(A__questionmark_h_1a, ClassRepr(A__questionmark_Ta), ownerFrame) = PeerGroupPlaceholder)))) | ~(IncludeInMainFrameCondition(allocated) = true_1)) | ~(IncludeInMainFrameCondition(elements) = true_1)) | ~~(IncludeInMainFrameCondition(inv) = true_1)) | ~~(IncludeInMainFrameCondition(localinv) = true_1)) | ~(IncludeInMainFrameCondition(ownerRef) = true_1)) | ~(IncludeInMainFrameCondition(ownerFrame) = true_1)) | ~(IncludeInMainFrameCondition(exposeVersion) = true_1)) | ~~(IncludeInMainFrameCondition(FirstConsistentOwner) = true_1)) | ~~(IsStaticField(allocated) = true_1)) | ~~(IsStaticField(elements) = true_1)) | ~~(IsStaticField(inv) = true_1)) | ~~(IsStaticField(localinv) = true_1)) | ~~(IsStaticField(exposeVersion) = true_1)) | ~~(IncludedInModifiesStar(ownerRef) = true_1)) | ~~(IncludedInModifiesStar(ownerFrame) = true_1)) | ~(IncludedInModifiesStar(exposeVersion) = true_1)) | ~(IncludedInModifiesStar(elements) = true_1)) | ~(![A__questionmark_Aa:$int, A__questionmark_ia:$int, A__questionmark_x_3a:$int]: (ValueArrayGet(ValueArraySet(A__questionmark_Aa, A__questionmark_ia, A__questionmark_x_3a), A__questionmark_ia) = A__questionmark_x_3a))) | ~(![A__questionmark_Aa:$int, A__questionmark_ia:$int, A__questionmark_ja:$int, A__questionmark_x_3a:$int]: (~(A__questionmark_ia = A__questionmark_ja) => (ValueArrayGet(ValueArraySet(A__questionmark_Aa, A__questionmark_ia, A__questionmark_x_3a), A__questionmark_ja) = ValueArrayGet(A__questionmark_Aa, A__questionmark_ja))))) | ~(![A__questionmark_Aa:$int, A__questionmark_ia:$int, A__questionmark_x_3a:$int]: (IntArrayGet(IntArraySet(A__questionmark_Aa, A__questionmark_ia, A__questionmark_x_3a), A__questionmark_ia) = A__questionmark_x_3a))) | ~(![A__questionmark_Aa:$int, A__questionmark_ia:$int, A__questionmark_ja:$int, A__questionmark_x_3a:$int]: (~(A__questionmark_ia = A__questionmark_ja) => (IntArrayGet(IntArraySet(A__questionmark_Aa, A__questionmark_ia, A__questionmark_x_3a), A__questionmark_ja) = IntArrayGet(A__questionmark_Aa, A__questionmark_ja))))) | ~(![A__questionmark_Aa:$int, A__questionmark_ia:$int, A__questionmark_x_3a:$int]: (RefArrayGet(RefArraySet(A__questionmark_Aa, A__questionmark_ia, A__questionmark_x_3a), A__questionmark_ia) = A__questionmark_x_3a))) | ~(![A__questionmark_Aa:$int, A__questionmark_ia:$int, A__questionmark_ja:$int, A__questionmark_x_3a:$int]: (~(A__questionmark_ia = A__questionmark_ja) => (RefArrayGet(RefArraySet(A__questionmark_Aa, A__questionmark_ia, A__questionmark_x_3a), A__questionmark_ja) = RefArrayGet(A__questionmark_Aa, A__questionmark_ja))))) | ~(![A__questionmark_aa:$int, A__questionmark_da:$int, A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (ArrayIndexInvX(ArrayIndex(A__questionmark_aa, A__questionmark_da, A__questionmark_x_3a, A__questionmark_ya)) = A__questionmark_x_3a))) | ~(![A__questionmark_aa:$int, A__questionmark_da:$int, A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (ArrayIndexInvY(ArrayIndex(A__questionmark_aa, A__questionmark_da, A__questionmark_x_3a, A__questionmark_ya)) = A__questionmark_ya))) | ~(![A__questionmark_aa:$int, A__questionmark_ia:$int, A__questionmark_heapa:$int]: ((IsHeap(A__questionmark_heapa) = true_1) => (InRange(IntArrayGet(select2(A__questionmark_heapa, A__questionmark_aa, elements), A__questionmark_ia), ElementType(typeof(A__questionmark_aa))) = true_1)))) | ~(![A__questionmark_aa:$int, A__questionmark_ia:$int, A__questionmark_heapa:$int]: (?[A__questionmark_v_9_10a:$int]: ((A__questionmark_v_9_10a = RefArrayGet(select2(A__questionmark_heapa, A__questionmark_aa, elements), A__questionmark_ia)) & (~(~(IsHeap(A__questionmark_heapa) = true_1) | ~~(A__questionmark_v_9_10a = nullObject)) => (x(typeof(A__questionmark_v_9_10a), ElementType(typeof(A__questionmark_aa))) = true_1)))))) | ~(![A__questionmark_aa:$int, A__questionmark_Ta:$int, A__questionmark_ia:$int, A__questionmark_ra:$int, A__questionmark_heapa:$int]: (~(~(IsHeap(A__questionmark_heapa) = true_1) | ~(x(typeof(A__questionmark_aa), NonNullRefArray(A__questionmark_Ta, A__questionmark_ra)) = true_1)) => ~(RefArrayGet(select2(A__questionmark_heapa, A__questionmark_aa, elements), A__questionmark_ia) = nullObject)))) | ~(![A__questionmark_aa:$int]: $lesseq(1, Rank(A__questionmark_aa)))) | ~(![A__questionmark_aa:$int, A__questionmark_Ta:$int, A__questionmark_ra:$int]: (~(~~(A__questionmark_aa = nullObject) | ~(x(typeof(A__questionmark_aa), RefArray(A__questionmark_Ta, A__questionmark_ra)) = true_1)) => (Rank(A__questionmark_aa) = A__questionmark_ra)))) | ~(![A__questionmark_aa:$int, A__questionmark_Ta:$int, A__questionmark_ra:$int]: (~(~~(A__questionmark_aa = nullObject) | ~(x(typeof(A__questionmark_aa), NonNullRefArray(A__questionmark_Ta, A__questionmark_ra)) = true_1)) => (Rank(A__questionmark_aa) = A__questionmark_ra)))) | ~(![A__questionmark_aa:$int, A__questionmark_Ta:$int, A__questionmark_ra:$int]: (~(~~(A__questionmark_aa = nullObject) | ~(x(typeof(A__questionmark_aa), ValueArray(A__questionmark_Ta, A__questionmark_ra)) = true_1)) => (Rank(A__questionmark_aa) = A__questionmark_ra)))) | ~(![A__questionmark_aa:$int, A__questionmark_Ta:$int, A__questionmark_ra:$int]: (~(~~(A__questionmark_aa = nullObject) | ~(x(typeof(A__questionmark_aa), IntArray(A__questionmark_Ta, A__questionmark_ra)) = true_1)) => (Rank(A__questionmark_aa) = A__questionmark_ra)))) | ~(![A__questionmark_aa:$int]: (?[A__questionmark_v_10_11a:$int]: ((A__questionmark_v_10_11a = Length(A__questionmark_aa)) & ~(~$lesseq(0, A__questionmark_v_10_11a) | ~$lesseq(A__questionmark_v_10_11a, int_2147483647)))))) | ~(![A__questionmark_aa:$int, A__questionmark_ia:$int]: $lesseq(0, DimLength(A__questionmark_aa, A__questionmark_ia)))) | ~(![A__questionmark_aa:$int]: ((Rank(A__questionmark_aa) = 1) => (DimLength(A__questionmark_aa, 0) = Length(A__questionmark_aa))))) | ~(![A__questionmark_aa:$int, A__questionmark_ia:$int]: (LBound(A__questionmark_aa, A__questionmark_ia) = 0))) | ~(![A__questionmark_aa:$int, A__questionmark_ia:$int]: (UBound(A__questionmark_aa, A__questionmark_ia) = $difference(DimLength(A__questionmark_aa, A__questionmark_ia), 1)))) | ~(![A__questionmark_Ta:$int, A__questionmark_ETa:$int, A__questionmark_ra:$int]: ((x(A__questionmark_Ta, ValueArray(A__questionmark_ETa, A__questionmark_ra)) = true_1) => (ArrayCategory(A__questionmark_Ta) = ArrayCategoryValue)))) | ~(![A__questionmark_Ta:$int, A__questionmark_ETa:$int, A__questionmark_ra:$int]: ((x(A__questionmark_Ta, IntArray(A__questionmark_ETa, A__questionmark_ra)) = true_1) => (ArrayCategory(A__questionmark_Ta) = ArrayCategoryInt)))) | ~(![A__questionmark_Ta:$int, A__questionmark_ETa:$int, A__questionmark_ra:$int]: ((x(A__questionmark_Ta, RefArray(A__questionmark_ETa, A__questionmark_ra)) = true_1) => (ArrayCategory(A__questionmark_Ta) = ArrayCategoryRef)))) | ~(![A__questionmark_Ta:$int, A__questionmark_ETa:$int, A__questionmark_ra:$int]: ((x(A__questionmark_Ta, NonNullRefArray(A__questionmark_ETa, A__questionmark_ra)) = true_1) => (ArrayCategory(A__questionmark_Ta) = ArrayCategoryNonNullRef)))) | ~(x(System_Array, System_Object) = true_1)) | ~(![A__questionmark_Ta:$int, A__questionmark_ra:$int]: (?[A__questionmark_v_11_12a:$int]: ((A__questionmark_v_11_12a = ValueArray(A__questionmark_Ta, A__questionmark_ra)) & ~(~(x(A__questionmark_v_11_12a, A__questionmark_v_11_12a) = true_1) | ~(x(A__questionmark_v_11_12a, System_Array) = true_1)))))) | ~(![A__questionmark_Ta:$int, A__questionmark_ra:$int]: (?[A__questionmark_v_12_13a:$int]: ((A__questionmark_v_12_13a = IntArray(A__questionmark_Ta, A__questionmark_ra)) & ~(~(x(A__questionmark_v_12_13a, A__questionmark_v_12_13a) = true_1) | ~(x(A__questionmark_v_12_13a, System_Array) = true_1)))))) | ~(![A__questionmark_Ta:$int, A__questionmark_ra:$int]: (?[A__questionmark_v_13_14a:$int]: ((A__questionmark_v_13_14a = RefArray(A__questionmark_Ta, A__questionmark_ra)) & ~(~(x(A__questionmark_v_13_14a, A__questionmark_v_13_14a) = true_1) | ~(x(A__questionmark_v_13_14a, System_Array) = true_1)))))) | ~(![A__questionmark_Ta:$int, A__questionmark_ra:$int]: (?[A__questionmark_v_14_15a:$int]: ((A__questionmark_v_14_15a = NonNullRefArray(A__questionmark_Ta, A__questionmark_ra)) & ~(~(x(A__questionmark_v_14_15a, A__questionmark_v_14_15a) = true_1) | ~(x(A__questionmark_v_14_15a, System_Array) = true_1)))))) | ~(![A__questionmark_arraya:$int, A__questionmark_elementTypea:$int, A__questionmark_ranka:$int]: (?[A__questionmark_v_15_16a:$int]: ((A__questionmark_v_15_16a = typeof(A__questionmark_arraya)) & ((NonNullRefArrayRaw(A__questionmark_arraya, A__questionmark_elementTypea, A__questionmark_ranka) = true_1) => ~((~(x(A__questionmark_v_15_16a, System_Array) = true_1) | ~(Rank(A__questionmark_arraya) = A__questionmark_ranka)) | ~(x(A__questionmark_elementTypea, ElementType(A__questionmark_v_15_16a)) = true_1))))))) | ~(![A__questionmark_Ta:$int, A__questionmark_U_1a:$int, A__questionmark_ra:$int]: ((x(A__questionmark_U_1a, A__questionmark_Ta) = true_1) => (x(RefArray(A__questionmark_U_1a, A__questionmark_ra), RefArray(A__questionmark_Ta, A__questionmark_ra)) = true_1)))) | ~(![A__questionmark_Ta:$int, A__questionmark_U_1a:$int, A__questionmark_ra:$int]: ((x(A__questionmark_U_1a, A__questionmark_Ta) = true_1) => (x(NonNullRefArray(A__questionmark_U_1a, A__questionmark_ra), NonNullRefArray(A__questionmark_Ta, A__questionmark_ra)) = true_1)))) | ~(![A__questionmark_Aa:$int, A__questionmark_ra:$int]: (ElementType(ValueArray(A__questionmark_Aa, A__questionmark_ra)) = A__questionmark_Aa))) | ~(![A__questionmark_Aa:$int, A__questionmark_ra:$int]: (ElementType(IntArray(A__questionmark_Aa, A__questionmark_ra)) = A__questionmark_Aa))) | ~(![A__questionmark_Aa:$int, A__questionmark_ra:$int]: (ElementType(RefArray(A__questionmark_Aa, A__questionmark_ra)) = A__questionmark_Aa))) | ~(![A__questionmark_Aa:$int, A__questionmark_ra:$int]: (ElementType(NonNullRefArray(A__questionmark_Aa, A__questionmark_ra)) = A__questionmark_Aa))) | ~(![A__questionmark_Aa:$int, A__questionmark_ra:$int, A__questionmark_Ta:$int]: (?[A__questionmark_v_16_17a:$int]: ((A__questionmark_v_16_17a = ElementType(A__questionmark_Ta)) & ((x(A__questionmark_Ta, RefArray(A__questionmark_Aa, A__questionmark_ra)) = true_1) => ~((~~(A__questionmark_Ta = A__questionmark_Aa) | ~(A__questionmark_Ta = RefArray(A__questionmark_v_16_17a, A__questionmark_ra))) | ~(x(A__questionmark_v_16_17a, A__questionmark_Aa) = true_1))))))) | ~(![A__questionmark_Aa:$int, A__questionmark_ra:$int, A__questionmark_Ta:$int]: (?[A__questionmark_v_17_18a:$int]: ((A__questionmark_v_17_18a = ElementType(A__questionmark_Ta)) & ((x(A__questionmark_Ta, NonNullRefArray(A__questionmark_Aa, A__questionmark_ra)) = true_1) => ~((~~(A__questionmark_Ta = A__questionmark_Aa) | ~(A__questionmark_Ta = NonNullRefArray(A__questionmark_v_17_18a, A__questionmark_ra))) | ~(x(A__questionmark_v_17_18a, A__questionmark_Aa) = true_1))))))) | ~(![A__questionmark_Aa:$int, A__questionmark_ra:$int, A__questionmark_Ta:$int]: (?[A__questionmark_v_18_19a:$int]: ((A__questionmark_v_18_19a = ValueArray(A__questionmark_Aa, A__questionmark_ra)) & ((x(A__questionmark_Ta, A__questionmark_v_18_19a) = true_1) => (A__questionmark_Ta = A__questionmark_v_18_19a)))))) | ~(![A__questionmark_Aa:$int, A__questionmark_ra:$int, A__questionmark_Ta:$int]: (?[A__questionmark_v_19_20a:$int]: ((A__questionmark_v_19_20a = IntArray(A__questionmark_Aa, A__questionmark_ra)) & ((x(A__questionmark_Ta, A__questionmark_v_19_20a) = true_1) => (A__questionmark_Ta = A__questionmark_v_19_20a)))))) | ~(![A__questionmark_Aa:$int, A__questionmark_ra:$int, A__questionmark_Ta:$int]: (?[A__questionmark_v_20_21a:$int]: ((A__questionmark_v_20_21a = ElementType(A__questionmark_Ta)) & ((x(RefArray(A__questionmark_Aa, A__questionmark_ra), A__questionmark_Ta) = true_1) => ((x(System_Array, A__questionmark_Ta) = true_1) | ~(~(A__questionmark_Ta = RefArray(A__questionmark_v_20_21a, A__questionmark_ra)) | ~(x(A__questionmark_Aa, A__questionmark_v_20_21a) = true_1)))))))) | ~(![A__questionmark_Aa:$int, A__questionmark_ra:$int, A__questionmark_Ta:$int]: (?[A__questionmark_v_21_22a:$int]: ((A__questionmark_v_21_22a = ElementType(A__questionmark_Ta)) & ((x(NonNullRefArray(A__questionmark_Aa, A__questionmark_ra), A__questionmark_Ta) = true_1) => ((x(System_Array, A__questionmark_Ta) = true_1) | ~(~(A__questionmark_Ta = NonNullRefArray(A__questionmark_v_21_22a, A__questionmark_ra)) | ~(x(A__questionmark_Aa, A__questionmark_v_21_22a) = true_1)))))))) | ~(![A__questionmark_Aa:$int, A__questionmark_ra:$int, A__questionmark_Ta:$int]: (?[A__questionmark_v_22_23a:$int]: ((A__questionmark_v_22_23a = ValueArray(A__questionmark_Aa, A__questionmark_ra)) & ((x(A__questionmark_v_22_23a, A__questionmark_Ta) = true_1) => ((x(System_Array, A__questionmark_Ta) = true_1) | (A__questionmark_Ta = A__questionmark_v_22_23a))))))) | ~(![A__questionmark_Aa:$int, A__questionmark_ra:$int, A__questionmark_Ta:$int]: (?[A__questionmark_v_23_24a:$int]: ((A__questionmark_v_23_24a = IntArray(A__questionmark_Aa, A__questionmark_ra)) & ((x(A__questionmark_v_23_24a, A__questionmark_Ta) = true_1) => ((x(System_Array, A__questionmark_Ta) = true_1) | (A__questionmark_Ta = A__questionmark_v_23_24a))))))) | ~(![A__questionmark_aa:$int, A__questionmark_ia:$int, A__questionmark_heapa:$int]: (?[A__questionmark_v_25_25a:$int, A__questionmark_v_24_26a:$int]: (((A__questionmark_v_25_25a = ElementProxy(A__questionmark_aa, $difference(0, 1))) & (A__questionmark_v_24_26a = RefArrayGet(select2(A__questionmark_heapa, A__questionmark_aa, elements), A__questionmark_ia))) & (~(~(IsHeap(A__questionmark_heapa) = true_1) | ~(x(typeof(A__questionmark_aa), System_Array) = true_1)) => (((A__questionmark_v_24_26a = nullObject) | (IsImmutable(typeof(A__questionmark_v_24_26a)) = true_1)) | ~(~(select2(A__questionmark_heapa, A__questionmark_v_24_26a, ownerRef) = select2(A__questionmark_heapa, A__questionmark_v_25_25a, ownerRef)) | ~(select2(A__questionmark_heapa, A__questionmark_v_24_26a, ownerFrame) = select2(A__questionmark_heapa, A__questionmark_v_25_25a, ownerFrame))))))))) | ~(![A__questionmark_aa:$int, A__questionmark_heapa:$int]: (~((~(IsHeap(A__questionmark_heapa) = true_1) | ~(IsAllocated(A__questionmark_heapa, A__questionmark_aa) = true_1)) | ~(x(typeof(A__questionmark_aa), System_Array) = true_1)) => (IsAllocated(A__questionmark_heapa, ElementProxy(A__questionmark_aa, $difference(0, 1))) = true_1)))) | ~(![A__questionmark_oa:$int, A__questionmark_posa:$int]: (typeof(ElementProxy(A__questionmark_oa, A__questionmark_posa)) = System_Object))) | ~(![A__questionmark_oa:$int, A__questionmark_posa:$int]: (typeof(ElementProxyStruct(A__questionmark_oa, A__questionmark_posa)) = System_Object))) | ~(![A__questionmark_sa:$int, A__questionmark_fa:$int, A__questionmark_x_3a:$int]: (StructGet(StructSet(A__questionmark_sa, A__questionmark_fa, A__questionmark_x_3a), A__questionmark_fa) = A__questionmark_x_3a))) | ~(![A__questionmark_sa:$int, A__questionmark_fa:$int, A__questionmark_f_prime_a:$int, A__questionmark_x_3a:$int]: (~(A__questionmark_fa = A__questionmark_f_prime_a) => (StructGet(StructSet(A__questionmark_sa, A__questionmark_fa, A__questionmark_x_3a), A__questionmark_f_prime_a) = StructGet(A__questionmark_sa, A__questionmark_f_prime_a))))) | ~(![A__questionmark_Ta:$int]: (?[A__questionmark_v_26_27a:$int]: ((A__questionmark_v_26_27a = BaseClass(A__questionmark_Ta)) & ~(~(x(A__questionmark_Ta, A__questionmark_v_26_27a) = true_1) | ~(~(A__questionmark_Ta = System_Object) => ~(A__questionmark_Ta = A__questionmark_v_26_27a))))))) | ~(![A__questionmark_Aa:$int, A__questionmark_Ba:$int, A__questionmark_Ca:$int]: ((x(A__questionmark_Ca, AsDirectSubClass(A__questionmark_Ba, A__questionmark_Aa)) = true_1) => (OneClassDown(A__questionmark_Ca, A__questionmark_Aa) = A__questionmark_Ba)))) | ~(![A__questionmark_Ta:$int]: ((IsValueType(A__questionmark_Ta) = true_1) => ~(~(![A__questionmark_U_1a:$int]: ((x(A__questionmark_Ta, A__questionmark_U_1a) = true_1) => (A__questionmark_Ta = A__questionmark_U_1a))) | ~(![A__questionmark_U_1a:$int]: ((x(A__questionmark_U_1a, A__questionmark_Ta) = true_1) => (A__questionmark_Ta = A__questionmark_U_1a))))))) | ~(IsValueType(System_Boolean) = true_1)) | ~(x(System_Type, System_Object) = true_1)) | ~(![A__questionmark_Ta:$int]: (IsNotNull(TypeObject(A__questionmark_Ta), System_Type) = true_1))) | ~(![A__questionmark_Ta:$int]: (TypeName(TypeObject(A__questionmark_Ta)) = A__questionmark_Ta))) | ~(![A__questionmark_oa:$int, A__questionmark_Ta:$int]: ((Is(A__questionmark_oa, A__questionmark_Ta) = true_1) <=> ((A__questionmark_oa = nullObject) | (x(typeof(A__questionmark_oa), A__questionmark_Ta) = true_1))))) | ~(![A__questionmark_oa:$int, A__questionmark_Ta:$int]: ((IsNotNull(A__questionmark_oa, A__questionmark_Ta) = true_1) <=> ~(~~(A__questionmark_oa = nullObject) | ~(Is(A__questionmark_oa, A__questionmark_Ta) = true_1))))) | ~(![A__questionmark_oa:$int, A__questionmark_Ta:$int]: ((Is(A__questionmark_oa, A__questionmark_Ta) = true_1) => (As(A__questionmark_oa, A__questionmark_Ta) = A__questionmark_oa)))) | ~(![A__questionmark_oa:$int, A__questionmark_Ta:$int]: (~(Is(A__questionmark_oa, A__questionmark_Ta) = true_1) => (As(A__questionmark_oa, A__questionmark_Ta) = nullObject)))) | ~(![A__questionmark_h_1a:$int, A__questionmark_oa:$int]: (?[A__questionmark_v_27_28a:$int]: ((A__questionmark_v_27_28a = typeof(A__questionmark_oa)) & (~((~(IsHeap(A__questionmark_h_1a) = true_1) | ~~(A__questionmark_oa = nullObject)) | ~(x(A__questionmark_v_27_28a, System_Array) = true_1)) => ~(~(select2(A__questionmark_h_1a, A__questionmark_oa, inv) = A__questionmark_v_27_28a) | ~(select2(A__questionmark_h_1a, A__questionmark_oa, localinv) = A__questionmark_v_27_28a))))))) | ~(![A__questionmark_h_1a:$int, A__questionmark_oa:$int, A__questionmark_fa:$int]: (~(~(IsHeap(A__questionmark_h_1a) = true_1) | ~(select2(A__questionmark_h_1a, A__questionmark_oa, allocated) = true_1)) => (IsAllocated(A__questionmark_h_1a, select2(A__questionmark_h_1a, A__questionmark_oa, A__questionmark_fa)) = true_1)))) | ~(![A__questionmark_h_1a:$int, A__questionmark_oa:$int, A__questionmark_fa:$int]: (~(~(IsHeap(A__questionmark_h_1a) = true_1) | ~(select2(A__questionmark_h_1a, A__questionmark_oa, allocated) = true_1)) => (select2(A__questionmark_h_1a, select2(A__questionmark_h_1a, A__questionmark_oa, A__questionmark_fa), allocated) = true_1)))) | ~(![A__questionmark_h_1a:$int, A__questionmark_sa:$int, A__questionmark_fa:$int]: ((IsAllocated(A__questionmark_h_1a, A__questionmark_sa) = true_1) => (IsAllocated(A__questionmark_h_1a, StructGet(A__questionmark_sa, A__questionmark_fa)) = true_1)))) | ~(![A__questionmark_h_1a:$int, A__questionmark_ea:$int, A__questionmark_ia:$int]: ((IsAllocated(A__questionmark_h_1a, A__questionmark_ea) = true_1) => (IsAllocated(A__questionmark_h_1a, RefArrayGet(A__questionmark_ea, A__questionmark_ia)) = true_1)))) | ~(![A__questionmark_h_1a:$int, A__questionmark_ea:$int, A__questionmark_ia:$int]: ((IsAllocated(A__questionmark_h_1a, A__questionmark_ea) = true_1) => (IsAllocated(A__questionmark_h_1a, ValueArrayGet(A__questionmark_ea, A__questionmark_ia)) = true_1)))) | ~(![A__questionmark_h_1a:$int, A__questionmark_oa:$int]: ((IsAllocated(A__questionmark_h_1a, A__questionmark_oa) = true_1) => (select2(A__questionmark_h_1a, A__questionmark_oa, allocated) = true_1)))) | ~(![A__questionmark_h_1a:$int, A__questionmark_ca:$int]: ((IsHeap(A__questionmark_h_1a) = true_1) => (select2(A__questionmark_h_1a, ClassRepr(A__questionmark_ca), allocated) = true_1)))) | ~(DeclType(NonNullFieldsAreInitialized) = System_Object)) | ~(![A__questionmark_fa:$int, A__questionmark_Ta:$int]: ((AsNonNullRefField(A__questionmark_fa, A__questionmark_Ta) = A__questionmark_fa) => (AsRefField(A__questionmark_fa, A__questionmark_Ta) = A__questionmark_fa)))) | ~(![A__questionmark_h_1a:$int, A__questionmark_oa:$int, A__questionmark_fa:$int, A__questionmark_Ta:$int]: ((IsHeap(A__questionmark_h_1a) = true_1) => (Is(select2(A__questionmark_h_1a, A__questionmark_oa, AsRefField(A__questionmark_fa, A__questionmark_Ta)), A__questionmark_Ta) = true_1)))) | ~(![A__questionmark_h_1a:$int, A__questionmark_oa:$int, A__questionmark_fa:$int, A__questionmark_Ta:$int]: (~((~(IsHeap(A__questionmark_h_1a) = true_1) | ~~(A__questionmark_oa = nullObject)) | ~(~(A__questionmark_oa = BeingConstructed) | ((select2(A__questionmark_h_1a, BeingConstructed, NonNullFieldsAreInitialized) = true_1) <=> $true))) => ~(select2(A__questionmark_h_1a, A__questionmark_oa, AsNonNullRefField(A__questionmark_fa, A__questionmark_Ta)) = nullObject)))) | ~(![A__questionmark_h_1a:$int, A__questionmark_oa:$int, A__questionmark_fa:$int, A__questionmark_Ta:$int]: ((IsHeap(A__questionmark_h_1a) = true_1) => (InRange(select2(A__questionmark_h_1a, A__questionmark_oa, AsRangeField(A__questionmark_fa, A__questionmark_Ta)), A__questionmark_Ta) = true_1)))) | ~(![A__questionmark_oa:$int]: ~(IsMemberlessType(typeof(A__questionmark_oa)) = true_1))) | ~(![A__questionmark_Ja:$int, A__questionmark_sa:$int, A__questionmark_ba:$int]: (?[A__questionmark_v_29_29a:$int, A__questionmark_v_28_30a:$int]: (((A__questionmark_v_29_29a = AsInterface(A__questionmark_Ja)) & (A__questionmark_v_28_30a = Box(A__questionmark_sa, A__questionmark_ba))) & (~((~(A__questionmark_v_29_29a = A__questionmark_Ja) | ~(A__questionmark_v_28_30a = A__questionmark_ba)) | ~(x(UnboxedType(A__questionmark_v_28_30a), A__questionmark_v_29_29a) = true_1)) => (x(typeof(A__questionmark_ba), A__questionmark_Ja) = true_1)))))) | ~~(IsImmutable(System_Object) = true_1)) | ~(![A__questionmark_Ta:$int, A__questionmark_U_1a:$int]: ((x(A__questionmark_U_1a, AsImmutable(A__questionmark_Ta)) = true_1) => ~(~(IsImmutable(A__questionmark_U_1a) = true_1) | ~(AsImmutable(A__questionmark_U_1a) = A__questionmark_U_1a))))) | ~(![A__questionmark_Ta:$int, A__questionmark_U_1a:$int]: ((x(A__questionmark_U_1a, AsMutable(A__questionmark_Ta)) = true_1) => ~(~~(IsImmutable(A__questionmark_U_1a) = true_1) | ~(AsMutable(A__questionmark_U_1a) = A__questionmark_U_1a))))) | ~(![A__questionmark_oa:$int, A__questionmark_Ta:$int]: (~((~~(A__questionmark_oa = nullObject) | ~~(A__questionmark_oa = BeingConstructed)) | ~(x(typeof(A__questionmark_oa), AsImmutable(A__questionmark_Ta)) = true_1)) => (![A__questionmark_h_1a:$int]: (?[A__questionmark_v_30_31a:$int]: ((A__questionmark_v_30_31a = typeof(A__questionmark_oa)) & ((IsHeap(A__questionmark_h_1a) = true_1) => ~((((~(select2(A__questionmark_h_1a, A__questionmark_oa, inv) = A__questionmark_v_30_31a) | ~(select2(A__questionmark_h_1a, A__questionmark_oa, localinv) = A__questionmark_v_30_31a)) | ~(select2(A__questionmark_h_1a, A__questionmark_oa, ownerFrame) = PeerGroupPlaceholder)) | ~(AsOwner(A__questionmark_oa, select2(A__questionmark_h_1a, A__questionmark_oa, ownerRef)) = A__questionmark_oa)) | ~(![A__questionmark_ta:$int]: ((AsOwner(A__questionmark_oa, select2(A__questionmark_h_1a, A__questionmark_ta, ownerRef)) = A__questionmark_oa) => ((A__questionmark_ta = A__questionmark_oa) | ~(select2(A__questionmark_h_1a, A__questionmark_ta, ownerFrame) = PeerGroupPlaceholder)))))))))))) | ~(![A__questionmark_sa:$int]: $lesseq(0, StringLength(A__questionmark_sa)))) | ~(![A__questionmark_h_1a:$int, A__questionmark_oa:$int, A__questionmark_fa:$int, A__questionmark_Ta:$int]: (?[A__questionmark_v_31_32a:$int]: ((A__questionmark_v_31_32a = select2(A__questionmark_h_1a, A__questionmark_oa, AsRepField(A__questionmark_fa, A__questionmark_Ta))) & (~(~(IsHeap(A__questionmark_h_1a) = true_1) | ~~(A__questionmark_v_31_32a = nullObject)) => ~(~(select2(A__questionmark_h_1a, A__questionmark_v_31_32a, ownerRef) = A__questionmark_oa) | ~(select2(A__questionmark_h_1a, A__questionmark_v_31_32a, ownerFrame) = A__questionmark_Ta))))))) | ~(![A__questionmark_h_1a:$int, A__questionmark_oa:$int, A__questionmark_fa:$int]: (?[A__questionmark_v_32_33a:$int]: ((A__questionmark_v_32_33a = select2(A__questionmark_h_1a, A__questionmark_oa, AsPeerField(A__questionmark_fa))) & (~(~(IsHeap(A__questionmark_h_1a) = true_1) | ~~(A__questionmark_v_32_33a = nullObject)) => ~(~(select2(A__questionmark_h_1a, A__questionmark_v_32_33a, ownerRef) = select2(A__questionmark_h_1a, A__questionmark_oa, ownerRef)) | ~(select2(A__questionmark_h_1a, A__questionmark_v_32_33a, ownerFrame) = select2(A__questionmark_h_1a, A__questionmark_oa, ownerFrame)))))))) | ~(![A__questionmark_h_1a:$int, A__questionmark_oa:$int, A__questionmark_fa:$int, A__questionmark_Ta:$int, A__questionmark_ia:$int]: (?[A__questionmark_v_33_34a:$int]: ((A__questionmark_v_33_34a = select2(A__questionmark_h_1a, A__questionmark_oa, AsElementsRepField(A__questionmark_fa, A__questionmark_Ta, A__questionmark_ia))) & (?[A__questionmark_v_34_35a:$int]: ((A__questionmark_v_34_35a = ElementProxy(A__questionmark_v_33_34a, A__questionmark_ia)) & (~(~(IsHeap(A__questionmark_h_1a) = true_1) | ~~(A__questionmark_v_33_34a = nullObject)) => ~(~(select2(A__questionmark_h_1a, A__questionmark_v_34_35a, ownerRef) = A__questionmark_oa) | ~(select2(A__questionmark_h_1a, A__questionmark_v_34_35a, ownerFrame) = A__questionmark_Ta))))))))) | ~(![A__questionmark_h_1a:$int, A__questionmark_oa:$int, A__questionmark_fa:$int, A__questionmark_ia:$int]: (?[A__questionmark_v_35_36a:$int]: ((A__questionmark_v_35_36a = select2(A__questionmark_h_1a, A__questionmark_oa, AsElementsPeerField(A__questionmark_fa, A__questionmark_ia))) & (?[A__questionmark_v_36_37a:$int]: ((A__questionmark_v_36_37a = ElementProxy(A__questionmark_v_35_36a, A__questionmark_ia)) & (~(~(IsHeap(A__questionmark_h_1a) = true_1) | ~~(A__questionmark_v_35_36a = nullObject)) => ~(~(select2(A__questionmark_h_1a, A__questionmark_v_36_37a, ownerRef) = select2(A__questionmark_h_1a, A__questionmark_oa, ownerRef)) | ~(select2(A__questionmark_h_1a, A__questionmark_v_36_37a, ownerFrame) = select2(A__questionmark_h_1a, A__questionmark_oa, ownerFrame)))))))))) | ~(![A__questionmark_h_1a:$int, A__questionmark_oa:$int]: (?[A__questionmark_v_39_38a:$int, A__questionmark_v_37_39a:$int, A__questionmark_v_38_40a:$int]: ((((A__questionmark_v_39_38a = typeof(A__questionmark_oa)) & (A__questionmark_v_37_39a = select2(A__questionmark_h_1a, A__questionmark_oa, ownerFrame))) & (A__questionmark_v_38_40a = select2(A__questionmark_h_1a, A__questionmark_oa, ownerRef))) & (~(((~(IsHeap(A__questionmark_h_1a) = true_1) | ~~(A__questionmark_v_37_39a = PeerGroupPlaceholder)) | ~(x(select2(A__questionmark_h_1a, A__questionmark_v_38_40a, inv), A__questionmark_v_37_39a) = true_1)) | ~~(select2(A__questionmark_h_1a, A__questionmark_v_38_40a, localinv) = BaseClass(A__questionmark_v_37_39a))) => ~(~(select2(A__questionmark_h_1a, A__questionmark_oa, inv) = A__questionmark_v_39_38a) | ~(select2(A__questionmark_h_1a, A__questionmark_oa, localinv) = A__questionmark_v_39_38a))))))) | ~(![A__questionmark_oa:$int, A__questionmark_fa:$int, A__questionmark_h_1a:$int]: (?[A__questionmark_v_40_41a:$int, A__questionmark_v_41_42a:$int]: (((A__questionmark_v_40_41a = select2(A__questionmark_h_1a, A__questionmark_oa, ownerFrame)) & (A__questionmark_v_41_42a = select2(A__questionmark_h_1a, A__questionmark_oa, ownerRef))) & (~((((((~(IsHeap(A__questionmark_h_1a) = true_1) | ~~(A__questionmark_oa = nullObject)) | ~((select2(A__questionmark_h_1a, A__questionmark_oa, allocated) = true_1) <=> $true)) | ~(AsPureObject(A__questionmark_oa) = A__questionmark_oa)) | ~~(A__questionmark_v_40_41a = PeerGroupPlaceholder)) | ~(x(select2(A__questionmark_h_1a, A__questionmark_v_41_42a, inv), A__questionmark_v_40_41a) = true_1)) | ~~(select2(A__questionmark_h_1a, A__questionmark_v_41_42a, localinv) = BaseClass(A__questionmark_v_40_41a))) => (select2(A__questionmark_h_1a, A__questionmark_oa, A__questionmark_fa) = FieldDependsOnFCO(A__questionmark_oa, A__questionmark_fa, select2(A__questionmark_h_1a, select2(A__questionmark_h_1a, A__questionmark_oa, FirstConsistentOwner), exposeVersion)))))))) | ~(![A__questionmark_oa:$int, A__questionmark_h_1a:$int]: (?[A__questionmark_v_44_43a:$int]: ((A__questionmark_v_44_43a = select2(A__questionmark_h_1a, A__questionmark_oa, FirstConsistentOwner)) & (?[A__questionmark_v_45_44a:$int, A__questionmark_v_46_45a:$int, A__questionmark_v_42_46a:$int, A__questionmark_v_43_47a:$int]: (((((A__questionmark_v_45_44a = select2(A__questionmark_h_1a, A__questionmark_v_44_43a, ownerFrame)) & (A__questionmark_v_46_45a = select2(A__questionmark_h_1a, A__questionmark_v_44_43a, ownerRef))) & (A__questionmark_v_42_46a = select2(A__questionmark_h_1a, A__questionmark_oa, ownerFrame))) & (A__questionmark_v_43_47a = select2(A__questionmark_h_1a, A__questionmark_oa, ownerRef))) & (~(((((~(IsHeap(A__questionmark_h_1a) = true_1) | ~~(A__questionmark_oa = nullObject)) | ~((select2(A__questionmark_h_1a, A__questionmark_oa, allocated) = true_1) <=> $true)) | ~~(A__questionmark_v_42_46a = PeerGroupPlaceholder)) | ~(x(select2(A__questionmark_h_1a, A__questionmark_v_43_47a, inv), A__questionmark_v_42_46a) = true_1)) | ~~(select2(A__questionmark_h_1a, A__questionmark_v_43_47a, localinv) = BaseClass(A__questionmark_v_42_46a))) => ~((~~(A__questionmark_v_44_43a = nullObject) | ~((select2(A__questionmark_h_1a, A__questionmark_v_44_43a, allocated) = true_1) <=> $true)) | ~(((A__questionmark_v_45_44a = PeerGroupPlaceholder) | ~(x(select2(A__questionmark_h_1a, A__questionmark_v_46_45a, inv), A__questionmark_v_45_44a) = true_1)) | (select2(A__questionmark_h_1a, A__questionmark_v_46_45a, localinv) = BaseClass(A__questionmark_v_45_44a))))))))))) | ~(![A__questionmark_valuea:$int, A__questionmark_typa:$int, A__questionmark_occurrencea:$int, A__questionmark_activitya:$int]: (?[A__questionmark_v_47_48a:$int]: ((A__questionmark_v_47_48a = BoxFunc(A__questionmark_valuea, A__questionmark_typa, A__questionmark_occurrencea, A__questionmark_activitya)) & ~(~(Box(A__questionmark_valuea, A__questionmark_v_47_48a) = A__questionmark_v_47_48a) | ~(UnboxedType(A__questionmark_v_47_48a) = A__questionmark_typa)))))) | ~(![A__questionmark_x_3a:$int, A__questionmark_typa:$int, A__questionmark_occurrencea:$int, A__questionmark_activitya:$int]: (~(IsValueType(UnboxedType(A__questionmark_x_3a)) = true_1) => (BoxFunc(A__questionmark_x_3a, A__questionmark_typa, A__questionmark_occurrencea, A__questionmark_activitya) = A__questionmark_x_3a)))) | ~(![A__questionmark_x_3a:$int, A__questionmark_pa:$int]: (Unbox(Box(A__questionmark_x_3a, A__questionmark_pa)) = A__questionmark_x_3a))) | ~(![A__questionmark_pa:$int]: ((IsValueType(UnboxedType(A__questionmark_pa)) = true_1) => (![A__questionmark_heapa:$int, A__questionmark_x_3a:$int]: (?[A__questionmark_v_48_49a:$int]: ((A__questionmark_v_48_49a = Box(A__questionmark_x_3a, A__questionmark_pa)) & (?[A__questionmark_v_49_50a:$int]: ((A__questionmark_v_49_50a = typeof(A__questionmark_v_48_49a)) & ((IsHeap(A__questionmark_heapa) = true_1) => ~(~(select2(A__questionmark_heapa, A__questionmark_v_48_49a, inv) = A__questionmark_v_49_50a) | ~(select2(A__questionmark_heapa, A__questionmark_v_48_49a, localinv) = A__questionmark_v_49_50a))))))))))) | ~(![A__questionmark_x_3a:$int, A__questionmark_pa:$int]: (?[A__questionmark_v_50_51a:$int]: ((A__questionmark_v_50_51a = Box(A__questionmark_x_3a, A__questionmark_pa)) & (~(~(x(UnboxedType(A__questionmark_v_50_51a), System_Object) = true_1) | ~(A__questionmark_v_50_51a = A__questionmark_pa)) => (A__questionmark_x_3a = A__questionmark_pa)))))) | ~(![A__questionmark_pa:$int, A__questionmark_typa:$int]: ((UnboxedType(A__questionmark_pa) = A__questionmark_typa) <=> ~(BoxTester(A__questionmark_pa, A__questionmark_typa) = nullObject)))) | ~(![A__questionmark_pa:$int, A__questionmark_typa:$int]: (~(BoxTester(A__questionmark_pa, A__questionmark_typa) = nullObject) => (Box(Unbox(A__questionmark_pa), A__questionmark_pa) = A__questionmark_pa)))) | ~(IsValueType(System_SByte) = true_1)) | ~(IsValueType(System_Byte) = true_1)) | ~(IsValueType(System_Int16) = true_1)) | ~(IsValueType(System_UInt16) = true_1)) | ~(IsValueType(System_Int32) = true_1)) | ~(IsValueType(System_UInt32) = true_1)) | ~(IsValueType(System_Int64) = true_1)) | ~(IsValueType(System_UInt64) = true_1)) | ~(IsValueType(System_Char) = true_1)) | ~(IsValueType(System_UIntPtr) = true_1)) | ~(IsValueType(System_IntPtr) = true_1)) | ~$less(int_m9223372036854775808, int_m2147483648)) | ~$less(int_m2147483648, $difference(0, 100000))) | ~$less(100000, int_2147483647)) | ~$less(int_2147483647, int_4294967295)) | ~$less(int_4294967295, int_9223372036854775807)) | ~$less(int_9223372036854775807, int_18446744073709551615)) | ~($sum(int_m9223372036854775808, 1) = $difference(0, int_9223372036854775807))) | ~($sum(int_m2147483648, 1) = $difference(0, int_2147483647))) | ~(![A__questionmark_ia:$int]: ((InRange(A__questionmark_ia, System_SByte) = true_1) <=> ~(~$lesseq($difference(0, 128), A__questionmark_ia) | ~$less(A__questionmark_ia, 128))))) | ~(![A__questionmark_ia:$int]: ((InRange(A__questionmark_ia, System_Byte) = true_1) <=> ~(~$lesseq(0, A__questionmark_ia) | ~$less(A__questionmark_ia, 256))))) | ~(![A__questionmark_ia:$int]: ((InRange(A__questionmark_ia, System_Int16) = true_1) <=> ~(~$lesseq($difference(0, 32768), A__questionmark_ia) | ~$less(A__questionmark_ia, 32768))))) | ~(![A__questionmark_ia:$int]: ((InRange(A__questionmark_ia, System_UInt16) = true_1) <=> ~(~$lesseq(0, A__questionmark_ia) | ~$less(A__questionmark_ia, 65536))))) | ~(![A__questionmark_ia:$int]: ((InRange(A__questionmark_ia, System_Int32) = true_1) <=> ~(~$lesseq(int_m2147483648, A__questionmark_ia) | ~$lesseq(A__questionmark_ia, int_2147483647))))) | ~(![A__questionmark_ia:$int]: ((InRange(A__questionmark_ia, System_UInt32) = true_1) <=> ~(~$lesseq(0, A__questionmark_ia) | ~$lesseq(A__questionmark_ia, int_4294967295))))) | ~(![A__questionmark_ia:$int]: ((InRange(A__questionmark_ia, System_Int64) = true_1) <=> ~(~$lesseq(int_m9223372036854775808, A__questionmark_ia) | ~$lesseq(A__questionmark_ia, int_9223372036854775807))))) | ~(![A__questionmark_ia:$int]: ((InRange(A__questionmark_ia, System_UInt64) = true_1) <=> ~(~$lesseq(0, A__questionmark_ia) | ~$lesseq(A__questionmark_ia, int_18446744073709551615))))) | ~(![A__questionmark_ia:$int]: ((InRange(A__questionmark_ia, System_Char) = true_1) <=> ~(~$lesseq(0, A__questionmark_ia) | ~$less(A__questionmark_ia, 65536))))) | ~(![A__questionmark_za:$int, A__questionmark_Ba:$int, A__questionmark_Ca:$int]: ((InRange(A__questionmark_za, A__questionmark_Ca) = true_1) => (IntToInt(A__questionmark_za, A__questionmark_Ba, A__questionmark_Ca) = A__questionmark_za)))) | ~(![A__questionmark_ba:$int, A__questionmark_x_3a:$int, A__questionmark_ya:$int]: ((A__questionmark_ba = true_1) => (IfThenElse(A__questionmark_ba, A__questionmark_x_3a, A__questionmark_ya) = A__questionmark_x_3a)))) | ~(![A__questionmark_ba:$int, A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (~(A__questionmark_ba = true_1) => (IfThenElse(A__questionmark_ba, A__questionmark_x_3a, A__questionmark_ya) = A__questionmark_ya)))) | ~(![A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (x_2(A__questionmark_x_3a, A__questionmark_ya) = $difference(A__questionmark_x_3a, $product(x_1(A__questionmark_x_3a, A__questionmark_ya), A__questionmark_ya))))) | ~(![A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (?[A__questionmark_v_51_52a:$int]: ((A__questionmark_v_51_52a = x_2(A__questionmark_x_3a, A__questionmark_ya)) & (~(~$lesseq(0, A__questionmark_x_3a) | ~$less(0, A__questionmark_ya)) => ~(~$lesseq(0, A__questionmark_v_51_52a) | ~$less(A__questionmark_v_51_52a, A__questionmark_ya))))))) | ~(![A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (?[A__questionmark_v_52_53a:$int]: ((A__questionmark_v_52_53a = x_2(A__questionmark_x_3a, A__questionmark_ya)) & (~(~$lesseq(0, A__questionmark_x_3a) | ~$less(A__questionmark_ya, 0)) => ~(~$lesseq(0, A__questionmark_v_52_53a) | ~$less(A__questionmark_v_52_53a, $difference(0, A__questionmark_ya)))))))) | ~(![A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (?[A__questionmark_v_53_54a:$int]: ((A__questionmark_v_53_54a = x_2(A__questionmark_x_3a, A__questionmark_ya)) & (~(~$lesseq(A__questionmark_x_3a, 0) | ~$less(0, A__questionmark_ya)) => ~(~$less($difference(0, A__questionmark_ya), A__questionmark_v_53_54a) | ~$lesseq(A__questionmark_v_53_54a, 0))))))) | ~(![A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (?[A__questionmark_v_54_55a:$int]: ((A__questionmark_v_54_55a = x_2(A__questionmark_x_3a, A__questionmark_ya)) & (~(~$lesseq(A__questionmark_x_3a, 0) | ~$less(A__questionmark_ya, 0)) => ~(~$less(A__questionmark_ya, A__questionmark_v_54_55a) | ~$lesseq(A__questionmark_v_54_55a, 0))))))) | ~(![A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (~(~$lesseq(0, A__questionmark_x_3a) | ~$lesseq(0, A__questionmark_ya)) => (x_2($sum(A__questionmark_x_3a, A__questionmark_ya), A__questionmark_ya) = x_2(A__questionmark_x_3a, A__questionmark_ya))))) | ~(![A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (~(~$lesseq(0, A__questionmark_x_3a) | ~$lesseq(0, A__questionmark_ya)) => (x_2($sum(A__questionmark_ya, A__questionmark_x_3a), A__questionmark_ya) = x_2(A__questionmark_x_3a, A__questionmark_ya))))) | ~(![A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (?[A__questionmark_v_55_56a:$int]: ((A__questionmark_v_55_56a = $difference(A__questionmark_x_3a, A__questionmark_ya)) & (~(~$lesseq(0, A__questionmark_v_55_56a) | ~$lesseq(0, A__questionmark_ya)) => (x_2(A__questionmark_v_55_56a, A__questionmark_ya) = x_2(A__questionmark_x_3a, A__questionmark_ya))))))) | ~(![A__questionmark_aa:$int, A__questionmark_ba:$int, A__questionmark_da:$int]: (~((~$lesseq(2, A__questionmark_da) | ~(x_2(A__questionmark_aa, A__questionmark_da) = x_2(A__questionmark_ba, A__questionmark_da))) | ~$less(A__questionmark_aa, A__questionmark_ba)) => $lesseq($sum(A__questionmark_aa, A__questionmark_da), A__questionmark_ba)))) | ~(![A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (($lesseq(0, A__questionmark_x_3a) | $lesseq(0, A__questionmark_ya)) => $lesseq(0, and_1(A__questionmark_x_3a, A__questionmark_ya))))) | ~(![A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (?[A__questionmark_v_56_57a:$int]: ((A__questionmark_v_56_57a = or_1(A__questionmark_x_3a, A__questionmark_ya)) & (~(~$lesseq(0, A__questionmark_x_3a) | ~$lesseq(0, A__questionmark_ya)) => ~(~$lesseq(0, A__questionmark_v_56_57a) | ~$lesseq(A__questionmark_v_56_57a, $sum(A__questionmark_x_3a, A__questionmark_ya)))))))) | ~(![A__questionmark_ia:$int]: (shl(A__questionmark_ia, 0) = A__questionmark_ia))) | ~(![A__questionmark_ia:$int, A__questionmark_ja:$int]: ($lesseq(1, A__questionmark_ja) => (shl(A__questionmark_ia, A__questionmark_ja) = $product(shl(A__questionmark_ia, $difference(A__questionmark_ja, 1)), 2))))) | ~(![A__questionmark_ia:$int, A__questionmark_ja:$int]: (?[A__questionmark_v_57_58a:$int]: ((A__questionmark_v_57_58a = shl(A__questionmark_ia, A__questionmark_ja)) & (~(((~$lesseq(0, A__questionmark_ia) | ~$less(A__questionmark_ia, 32768)) | ~$lesseq(0, A__questionmark_ja)) | ~$lesseq(A__questionmark_ja, 16)) => ~(~$lesseq(0, A__questionmark_v_57_58a) | ~$lesseq(A__questionmark_v_57_58a, int_2147483647))))))) | ~(![A__questionmark_ia:$int]: (shr(A__questionmark_ia, 0) = A__questionmark_ia))) | ~(![A__questionmark_ia:$int, A__questionmark_ja:$int]: ($lesseq(1, A__questionmark_ja) => (shr(A__questionmark_ia, A__questionmark_ja) = x_1(shr(A__questionmark_ia, $difference(A__questionmark_ja, 1)), 2))))) | ~(![A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (?[A__questionmark_v_58_59a:$int]: ((A__questionmark_v_58_59a = min(A__questionmark_x_3a, A__questionmark_ya)) & ~((~((A__questionmark_v_58_59a = A__questionmark_x_3a) | (A__questionmark_v_58_59a = A__questionmark_ya)) | ~$lesseq(A__questionmark_v_58_59a, A__questionmark_x_3a)) | ~$lesseq(A__questionmark_v_58_59a, A__questionmark_ya)))))) | ~(![A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (?[A__questionmark_v_59_60a:$int]: ((A__questionmark_v_59_60a = max(A__questionmark_x_3a, A__questionmark_ya)) & ~((~((A__questionmark_v_59_60a = A__questionmark_x_3a) | (A__questionmark_v_59_60a = A__questionmark_ya)) | ~$lesseq(A__questionmark_x_3a, A__questionmark_v_59_60a)) | ~$lesseq(A__questionmark_ya, A__questionmark_v_59_60a)))))) | ~(![A__questionmark_h_1a:$int, A__questionmark_aa:$int, A__questionmark_ba:$int]: ((System_String_Equals_System_String(A__questionmark_h_1a, A__questionmark_aa, A__questionmark_ba) = true_1) <=> (System_String_Equals_System_String_System_String(A__questionmark_h_1a, A__questionmark_aa, A__questionmark_ba) = true_1)))) | ~(![A__questionmark_h_1a:$int, A__questionmark_aa:$int, A__questionmark_ba:$int]: ~((~((System_String_Equals_System_String_System_String(A__questionmark_h_1a, A__questionmark_aa, A__questionmark_ba) = true_1) <=> (StringEquals(A__questionmark_aa, A__questionmark_ba) = true_1)) | ~((System_String_Equals_System_String_System_String(A__questionmark_h_1a, A__questionmark_aa, A__questionmark_ba) = true_1) <=> (StringEquals(A__questionmark_ba, A__questionmark_aa) = true_1))) | ~((A__questionmark_aa = A__questionmark_ba) => (StringEquals(A__questionmark_aa, A__questionmark_ba) = true_1))))) | ~(![A__questionmark_aa:$int, A__questionmark_ba:$int, A__questionmark_ca:$int]: (~(~(StringEquals(A__questionmark_aa, A__questionmark_ba) = true_1) | ~(StringEquals(A__questionmark_ba, A__questionmark_ca) = true_1)) => (StringEquals(A__questionmark_aa, A__questionmark_ca) = true_1)))) | ~(![A__questionmark_h_1a:$int, A__questionmark_aa:$int, A__questionmark_ba:$int]: (~((~~(A__questionmark_aa = nullObject) | ~~(A__questionmark_ba = nullObject)) | ~(System_String_Equals_System_String_System_String(A__questionmark_h_1a, A__questionmark_aa, A__questionmark_ba) = true_1)) => (System_String_IsInterned_System_String_notnull(A__questionmark_h_1a, A__questionmark_aa) = System_String_IsInterned_System_String_notnull(A__questionmark_h_1a, A__questionmark_ba))))) | ~~(IsStaticField(BoundedStack_size) = true_1)) | ~(IncludeInMainFrameCondition(BoundedStack_size) = true_1)) | ~(IncludedInModifiesStar(BoundedStack_size) = true_1)) | ~(DeclType(BoundedStack_size) = BoundedStack)) | ~(AsRangeField(BoundedStack_size, System_Int32) = BoundedStack_size)) | ~~(IsStaticField(BoundedStack_max) = true_1)) | ~(IncludeInMainFrameCondition(BoundedStack_max) = true_1)) | ~(IncludedInModifiesStar(BoundedStack_max) = true_1)) | ~(DeclType(BoundedStack_max) = BoundedStack)) | ~(AsRangeField(BoundedStack_max, System_Int32) = BoundedStack_max)) | ~~(IsStaticField(BoundedStack_elems) = true_1)) | ~(IncludeInMainFrameCondition(BoundedStack_elems) = true_1)) | ~(IncludedInModifiesStar(BoundedStack_elems) = true_1)) | ~(AsRepField(BoundedStack_elems, BoundedStack) = BoundedStack_elems)) | ~(DeclType(BoundedStack_elems) = BoundedStack)) | ~(AsNonNullRefField(BoundedStack_elems, IntArray(System_Int32, 1)) = BoundedStack_elems)) | ~(x(BoundedStack, BoundedStack) = true_1)) | ~(A__questionmark_v_0_8a = System_Object)) | ~(AsDirectSubClass(BoundedStack, A__questionmark_v_0_8a) = BoundedStack)) | ~~(IsImmutable(BoundedStack) = true_1)) | ~(AsMutable(BoundedStack) = BoundedStack)) | ~(x(System_Array, System_Array) = true_1)) | ~(A__questionmark_v_1_9a = System_Object)) | ~(AsDirectSubClass(System_Array, A__questionmark_v_1_9a) = System_Array)) | ~~(IsImmutable(System_Array) = true_1)) | ~(AsMutable(System_Array) = System_Array)) | ~(x(System_ICloneable, System_ICloneable) = true_1)) | ~(x(System_ICloneable, System_Object) = true_1)) | ~(IsMemberlessType(System_ICloneable) = true_1)) | ~(AsInterface(System_ICloneable) = System_ICloneable)) | ~(x(System_Array, System_ICloneable) = true_1)) | ~(x(System_Collections_IList, System_Collections_IList) = true_1)) | ~(x(System_Collections_IList, System_Object) = true_1)) | ~(x(System_Collections_ICollection, System_Collections_ICollection) = true_1)) | ~(x(System_Collections_ICollection, System_Object) = true_1)) | ~(x(System_Collections_IEnumerable, System_Collections_IEnumerable) = true_1)) | ~(x(System_Collections_IEnumerable, System_Object) = true_1)) | ~(IsMemberlessType(System_Collections_IEnumerable) = true_1)) | ~(AsInterface(System_Collections_IEnumerable) = System_Collections_IEnumerable)) | ~(x(System_Collections_ICollection, System_Collections_IEnumerable) = true_1)) | ~(IsMemberlessType(System_Collections_ICollection) = true_1)) | ~(AsInterface(System_Collections_ICollection) = System_Collections_ICollection)) | ~(x(System_Collections_IList, System_Collections_ICollection) = true_1)) | ~(x(System_Collections_IList, System_Collections_IEnumerable) = true_1)) | ~(IsMemberlessType(System_Collections_IList) = true_1)) | ~(AsInterface(System_Collections_IList) = System_Collections_IList)) | ~(x(System_Array, System_Collections_IList) = true_1)) | ~(x(System_Array, System_Collections_ICollection) = true_1)) | ~(x(System_Array, System_Collections_IEnumerable) = true_1)) | ~(IsMemberlessType(System_Array) = true_1)) | ~(![A__questionmark_oia:$int, A__questionmark_ha:$int]: (~((~(IsHeap(A__questionmark_ha) = true_1) | ~(x(select2(A__questionmark_ha, A__questionmark_oia, inv), System_Array) = true_1)) | ~~(select2(A__questionmark_ha, A__questionmark_oia, localinv) = A__questionmark_v_1_9a)) => $true))) | ~(![A__questionmark_oia:$int, A__questionmark_ha:$int]: (?[A__questionmark_v_63_63a:$int, A__questionmark_v_62_64a:$int]: (((A__questionmark_v_63_63a = select2(A__questionmark_ha, A__questionmark_oia, BoundedStack_max)) & (A__questionmark_v_62_64a = select2(A__questionmark_ha, A__questionmark_oia, BoundedStack_size))) & (~((~(IsHeap(A__questionmark_ha) = true_1) | ~(x(select2(A__questionmark_ha, A__questionmark_oia, inv), BoundedStack) = true_1)) | ~~(select2(A__questionmark_ha, A__questionmark_oia, localinv) = A__questionmark_v_0_8a)) => ~((~$lesseq(0, A__questionmark_v_62_64a) | ~$lesseq(A__questionmark_v_62_64a, A__questionmark_v_63_63a)) | ~$lesseq(A__questionmark_v_63_63a, Length(select2(A__questionmark_ha, A__questionmark_oia, BoundedStack_elems))))))))) | ~(x(System_String, System_String) = true_1)) | ~(A__questionmark_v_2_7a = System_Object)) | ~(AsDirectSubClass(System_String, A__questionmark_v_2_7a) = System_String)) | ~(IsImmutable(System_String) = true_1)) | ~(AsImmutable(System_String) = System_String)) | ~(x(System_IComparable, System_IComparable) = true_1)) | ~(x(System_IComparable, System_Object) = true_1)) | ~(IsMemberlessType(System_IComparable) = true_1)) | ~(AsInterface(System_IComparable) = System_IComparable)) | ~(x(System_String, System_IComparable) = true_1)) | ~(x(System_String, System_ICloneable) = true_1)) | ~(x(System_IConvertible, System_IConvertible) = true_1)) | ~(x(System_IConvertible, System_Object) = true_1)) | ~(IsMemberlessType(System_IConvertible) = true_1)) | ~(AsInterface(System_IConvertible) = System_IConvertible)) | ~(x(System_String, System_IConvertible) = true_1)) | ~(x(System_IComparable_1___System_String, System_IComparable_1___System_String) = true_1)) | ~(x(System_IComparable_1___System_String, System_Object) = true_1)) | ~(IsMemberlessType(System_IComparable_1___System_String) = true_1)) | ~(AsInterface(System_IComparable_1___System_String) = System_IComparable_1___System_String)) | ~(x(System_String, System_IComparable_1___System_String) = true_1)) | ~(x(System_Collections_Generic_IEnumerable_1___System_Char, System_Collections_Generic_IEnumerable_1___System_Char) = true_1)) | ~(x(System_Collections_Generic_IEnumerable_1___System_Char, System_Object) = true_1)) | ~(x(System_Collections_Generic_IEnumerable_1___System_Char, System_Collections_IEnumerable) = true_1)) | ~(IsMemberlessType(System_Collections_Generic_IEnumerable_1___System_Char) = true_1)) | ~(AsInterface(System_Collections_Generic_IEnumerable_1___System_Char) = System_Collections_Generic_IEnumerable_1___System_Char)) | ~(x(System_String, System_Collections_Generic_IEnumerable_1___System_Char) = true_1)) | ~(x(System_String, System_Collections_IEnumerable) = true_1)) | ~(x(System_IEquatable_1___System_String, System_IEquatable_1___System_String) = true_1)) | ~(x(System_IEquatable_1___System_String, System_Object) = true_1)) | ~(IsMemberlessType(System_IEquatable_1___System_String) = true_1)) | ~(AsInterface(System_IEquatable_1___System_String) = System_IEquatable_1___System_String)) | ~(x(System_String, System_IEquatable_1___System_String) = true_1)) | ~(![A__questionmark_Ua:$int]: ((x(A__questionmark_Ua, System_String) = true_1) => (A__questionmark_Ua = System_String)))) | ~(![A__questionmark_oia:$int, A__questionmark_ha:$int]: (~((~(IsHeap(A__questionmark_ha) = true_1) | ~(x(select2(A__questionmark_ha, A__questionmark_oia, inv), System_String) = true_1)) | ~~(select2(A__questionmark_ha, A__questionmark_oia, localinv) = A__questionmark_v_2_7a)) => $true))) | ~(x(Microsoft_Contracts_ObjectInvariantException, Microsoft_Contracts_ObjectInvariantException) = true_1)) | ~(x(Microsoft_Contracts_GuardException, Microsoft_Contracts_GuardException) = true_1)) | ~(x(System_Exception, System_Exception) = true_1)) | ~(A__questionmark_v_3_6a = System_Object)) | ~(AsDirectSubClass(System_Exception, A__questionmark_v_3_6a) = System_Exception)) | ~~(IsImmutable(System_Exception) = true_1)) | ~(AsMutable(System_Exception) = System_Exception)) | ~(x(System_Runtime_Serialization_ISerializable, System_Runtime_Serialization_ISerializable) = true_1)) | ~(x(System_Runtime_Serialization_ISerializable, System_Object) = true_1)) | ~(IsMemberlessType(System_Runtime_Serialization_ISerializable) = true_1)) | ~(AsInterface(System_Runtime_Serialization_ISerializable) = System_Runtime_Serialization_ISerializable)) | ~(x(System_Exception, System_Runtime_Serialization_ISerializable) = true_1)) | ~(x(System_Runtime_InteropServices__Exception, System_Runtime_InteropServices__Exception) = true_1)) | ~(x(System_Runtime_InteropServices__Exception, System_Object) = true_1)) | ~(IsMemberlessType(System_Runtime_InteropServices__Exception) = true_1)) | ~(AsInterface(System_Runtime_InteropServices__Exception) = System_Runtime_InteropServices__Exception)) | ~(x(System_Exception, System_Runtime_InteropServices__Exception) = true_1)) | ~(![A__questionmark_oia:$int, A__questionmark_ha:$int]: (~((~(IsHeap(A__questionmark_ha) = true_1) | ~(x(select2(A__questionmark_ha, A__questionmark_oia, inv), System_Exception) = true_1)) | ~~(select2(A__questionmark_ha, A__questionmark_oia, localinv) = A__questionmark_v_3_6a)) => $true))) | ~(A__questionmark_v_4_5a = System_Exception)) | ~(AsDirectSubClass(Microsoft_Contracts_GuardException, A__questionmark_v_4_5a) = Microsoft_Contracts_GuardException)) | ~~(IsImmutable(Microsoft_Contracts_GuardException) = true_1)) | ~(AsMutable(Microsoft_Contracts_GuardException) = Microsoft_Contracts_GuardException)) | ~(![A__questionmark_oia:$int, A__questionmark_ha:$int]: (~((~(IsHeap(A__questionmark_ha) = true_1) | ~(x(select2(A__questionmark_ha, A__questionmark_oia, inv), Microsoft_Contracts_GuardException) = true_1)) | ~~(select2(A__questionmark_ha, A__questionmark_oia, localinv) = A__questionmark_v_4_5a)) => $true))) | ~(A__questionmark_v_5_4a = Microsoft_Contracts_GuardException)) | ~(AsDirectSubClass(Microsoft_Contracts_ObjectInvariantException, A__questionmark_v_5_4a) = Microsoft_Contracts_ObjectInvariantException)) | ~~(IsImmutable(Microsoft_Contracts_ObjectInvariantException) = true_1)) | ~(AsMutable(Microsoft_Contracts_ObjectInvariantException) = Microsoft_Contracts_ObjectInvariantException)) | ~(![A__questionmark_oia:$int, A__questionmark_ha:$int]: (~((~(IsHeap(A__questionmark_ha) = true_1) | ~(x(select2(A__questionmark_ha, A__questionmark_oia, inv), Microsoft_Contracts_ObjectInvariantException) = true_1)) | ~~(select2(A__questionmark_ha, A__questionmark_oia, localinv) = A__questionmark_v_5_4a)) => $true))) | ~(x(System_Type, System_Type) = true_1)) | ~(x(System_Reflection_MemberInfo, System_Reflection_MemberInfo) = true_1)) | ~(A__questionmark_v_6_3a = System_Object)) | ~(AsDirectSubClass(System_Reflection_MemberInfo, A__questionmark_v_6_3a) = System_Reflection_MemberInfo)) | ~(IsImmutable(System_Reflection_MemberInfo) = true_1)) | ~(AsImmutable(System_Reflection_MemberInfo) = System_Reflection_MemberInfo)) | ~(x(System_Reflection_ICustomAttributeProvider, System_Reflection_ICustomAttributeProvider) = true_1)) | ~(x(System_Reflection_ICustomAttributeProvider, System_Object) = true_1)) | ~(IsMemberlessType(System_Reflection_ICustomAttributeProvider) = true_1)) | ~(AsInterface(System_Reflection_ICustomAttributeProvider) = System_Reflection_ICustomAttributeProvider)) | ~(x(System_Reflection_MemberInfo, System_Reflection_ICustomAttributeProvider) = true_1)) | ~(x(System_Runtime_InteropServices__MemberInfo, System_Runtime_InteropServices__MemberInfo) = true_1)) | ~(x(System_Runtime_InteropServices__MemberInfo, System_Object) = true_1)) | ~(IsMemberlessType(System_Runtime_InteropServices__MemberInfo) = true_1)) | ~(AsInterface(System_Runtime_InteropServices__MemberInfo) = System_Runtime_InteropServices__MemberInfo)) | ~(x(System_Reflection_MemberInfo, System_Runtime_InteropServices__MemberInfo) = true_1)) | ~(IsMemberlessType(System_Reflection_MemberInfo) = true_1)) | ~(![A__questionmark_oia:$int, A__questionmark_ha:$int]: (~((~(IsHeap(A__questionmark_ha) = true_1) | ~(x(select2(A__questionmark_ha, A__questionmark_oia, inv), System_Reflection_MemberInfo) = true_1)) | ~~(select2(A__questionmark_ha, A__questionmark_oia, localinv) = A__questionmark_v_6_3a)) => $true))) | ~(A__questionmark_v_7_2a = System_Reflection_MemberInfo)) | ~(AsDirectSubClass(System_Type, A__questionmark_v_7_2a) = System_Type)) | ~(IsImmutable(System_Type) = true_1)) | ~(AsImmutable(System_Type) = System_Type)) | ~(x(System_Runtime_InteropServices__Type, System_Runtime_InteropServices__Type) = true_1)) | ~(x(System_Runtime_InteropServices__Type, System_Object) = true_1)) | ~(IsMemberlessType(System_Runtime_InteropServices__Type) = true_1)) | ~(AsInterface(System_Runtime_InteropServices__Type) = System_Runtime_InteropServices__Type)) | ~(x(System_Type, System_Runtime_InteropServices__Type) = true_1)) | ~(x(System_Reflection_IReflect, System_Reflection_IReflect) = true_1)) | ~(x(System_Reflection_IReflect, System_Object) = true_1)) | ~(IsMemberlessType(System_Reflection_IReflect) = true_1)) | ~(AsInterface(System_Reflection_IReflect) = System_Reflection_IReflect)) | ~(x(System_Type, System_Reflection_IReflect) = true_1)) | ~(IsMemberlessType(System_Type) = true_1)) | ~(![A__questionmark_oia:$int, A__questionmark_ha:$int]: (~((~(IsHeap(A__questionmark_ha) = true_1) | ~(x(select2(A__questionmark_ha, A__questionmark_oia, inv), System_Type) = true_1)) | ~~(select2(A__questionmark_ha, A__questionmark_oia, localinv) = A__questionmark_v_7_2a)) => $true))) | ~(x(Microsoft_Contracts_ICheckedException, Microsoft_Contracts_ICheckedException) = true_1)) | ~(x(Microsoft_Contracts_ICheckedException, System_Object) = true_1)) | ~(IsMemberlessType(Microsoft_Contracts_ICheckedException) = true_1)) | ~(AsInterface(Microsoft_Contracts_ICheckedException) = Microsoft_Contracts_ICheckedException)) | ~((PurityAxiomsCanBeAssumed = true_1) => (![A__questionmark_Heapa:$int, A__questionmark_thisa:$int]: (?[A__questionmark_v_64_65a:$int, A__questionmark_v_66_66a:$int, A__questionmark_v_68_67a:$int, A__questionmark_v_65_68a:$int]: (((((A__questionmark_v_64_65a = BoundedStack_ToString(A__questionmark_Heapa, A__questionmark_thisa)) & (A__questionmark_v_66_66a = select2(A__questionmark_Heapa, A__questionmark_thisa, ownerRef))) & (A__questionmark_v_68_67a = select2(A__questionmark_Heapa, A__questionmark_thisa, FirstConsistentOwner))) & (A__questionmark_v_65_68a = select2(A__questionmark_Heapa, A__questionmark_thisa, ownerFrame))) & (~(((~(IsHeap(A__questionmark_Heapa) = true_1) | ~(IsNotNull(A__questionmark_thisa, BoundedStack) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_thisa, allocated) = true_1)) | ~(![A__questionmark_pca:$int]: (?[A__questionmark_v_69_70a:$int]: ((A__questionmark_v_69_70a = typeof(A__questionmark_pca)) & (~(((~~(A__questionmark_pca = nullObject) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, allocated) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerRef) = A__questionmark_v_66_66a)) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerFrame) = A__questionmark_v_65_68a)) => ~(~(select2(A__questionmark_Heapa, A__questionmark_pca, inv) = A__questionmark_v_69_70a) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, localinv) = A__questionmark_v_69_70a))))))) => ~((((~(IsNotNull(A__questionmark_v_64_65a, System_String) = true_1) | ~(select2(A__questionmark_Heapa, A__questionmark_v_64_65a, allocated) = true_1)) | ~(~(A__questionmark_v_65_68a = PeerGroupPlaceholder) => ~(~(~(~(x(select2(A__questionmark_Heapa, A__questionmark_v_66_66a, inv), A__questionmark_v_65_68a) = true_1) | ~~(select2(A__questionmark_Heapa, A__questionmark_v_66_66a, localinv) = BaseClass(A__questionmark_v_65_68a))) => (A__questionmark_v_68_67a = A__questionmark_v_66_66a)) | ~(~~(~(x(select2(A__questionmark_Heapa, A__questionmark_v_66_66a, inv), A__questionmark_v_65_68a) = true_1) | ~~(select2(A__questionmark_Heapa, A__questionmark_v_66_66a, localinv) = BaseClass(A__questionmark_v_65_68a))) => (A__questionmark_v_68_67a = select2(A__questionmark_Heapa, A__questionmark_v_66_66a, FirstConsistentOwner)))))) | ~(AsPureObject(A__questionmark_thisa) = A__questionmark_thisa)) | ~(![A__questionmark_pca:$int]: (?[A__questionmark_v_70_71a:$int]: ((A__questionmark_v_70_71a = typeof(A__questionmark_pca)) & (~(((~~(A__questionmark_pca = nullObject) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, allocated) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerRef) = select2(A__questionmark_Heapa, A__questionmark_v_64_65a, ownerRef))) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerFrame) = select2(A__questionmark_Heapa, A__questionmark_v_64_65a, ownerFrame))) => ~(~(select2(A__questionmark_Heapa, A__questionmark_pca, inv) = A__questionmark_v_70_71a) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, localinv) = A__questionmark_v_70_71a))))))))))))) | ~((PurityAxiomsCanBeAssumed = true_1) => (![A__questionmark_Heapa:$int, A__questionmark_thisa:$int]: (?[A__questionmark_v_71_72a:$int, A__questionmark_v_73_73a:$int, A__questionmark_v_75_74a:$int, A__questionmark_v_72_75a:$int]: (((((A__questionmark_v_71_72a = System_Object_ToString(A__questionmark_Heapa, A__questionmark_thisa)) & (A__questionmark_v_73_73a = select2(A__questionmark_Heapa, A__questionmark_thisa, ownerRef))) & (A__questionmark_v_75_74a = select2(A__questionmark_Heapa, A__questionmark_thisa, FirstConsistentOwner))) & (A__questionmark_v_72_75a = select2(A__questionmark_Heapa, A__questionmark_thisa, ownerFrame))) & (~(((~(IsHeap(A__questionmark_Heapa) = true_1) | ~(IsNotNull(A__questionmark_thisa, System_Object) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_thisa, allocated) = true_1)) | ~(![A__questionmark_pca:$int]: (?[A__questionmark_v_76_77a:$int]: ((A__questionmark_v_76_77a = typeof(A__questionmark_pca)) & (~(((~~(A__questionmark_pca = nullObject) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, allocated) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerRef) = A__questionmark_v_73_73a)) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerFrame) = A__questionmark_v_72_75a)) => ~(~(select2(A__questionmark_Heapa, A__questionmark_pca, inv) = A__questionmark_v_76_77a) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, localinv) = A__questionmark_v_76_77a))))))) => ~((((~(IsNotNull(A__questionmark_v_71_72a, System_String) = true_1) | ~(select2(A__questionmark_Heapa, A__questionmark_v_71_72a, allocated) = true_1)) | ~(~(A__questionmark_v_72_75a = PeerGroupPlaceholder) => ~(~(~(~(x(select2(A__questionmark_Heapa, A__questionmark_v_73_73a, inv), A__questionmark_v_72_75a) = true_1) | ~~(select2(A__questionmark_Heapa, A__questionmark_v_73_73a, localinv) = BaseClass(A__questionmark_v_72_75a))) => (A__questionmark_v_75_74a = A__questionmark_v_73_73a)) | ~(~~(~(x(select2(A__questionmark_Heapa, A__questionmark_v_73_73a, inv), A__questionmark_v_72_75a) = true_1) | ~~(select2(A__questionmark_Heapa, A__questionmark_v_73_73a, localinv) = BaseClass(A__questionmark_v_72_75a))) => (A__questionmark_v_75_74a = select2(A__questionmark_Heapa, A__questionmark_v_73_73a, FirstConsistentOwner)))))) | ~(AsPureObject(A__questionmark_thisa) = A__questionmark_thisa)) | ~(![A__questionmark_pca:$int]: (?[A__questionmark_v_77_78a:$int]: ((A__questionmark_v_77_78a = typeof(A__questionmark_pca)) & (~(((~~(A__questionmark_pca = nullObject) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, allocated) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerRef) = select2(A__questionmark_Heapa, A__questionmark_v_71_72a, ownerRef))) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerFrame) = select2(A__questionmark_Heapa, A__questionmark_v_71_72a, ownerFrame))) => ~(~(select2(A__questionmark_Heapa, A__questionmark_pca, inv) = A__questionmark_v_77_78a) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, localinv) = A__questionmark_v_77_78a))))))))))))) | ~(![A__questionmark_Heapa:$int, A__questionmark_thisa:$int]: (?[A__questionmark_v_78_79a:$int]: ((A__questionmark_v_78_79a = typeof(A__questionmark_thisa)) & (~(((((~~(A__questionmark_thisa = nullObject) | ~(x(A__questionmark_v_78_79a, System_Object) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_thisa, inv) = A__questionmark_v_78_79a)) | ~(select2(A__questionmark_Heapa, A__questionmark_thisa, localinv) = A__questionmark_v_78_79a)) | ~(IsHeap(A__questionmark_Heapa) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_thisa, allocated) = true_1)) => (System_Object_ToString(A__questionmark_Heapa, A__questionmark_thisa) = System_Object_ToString_1(select2(A__questionmark_Heapa, A__questionmark_thisa, exposeVersion)))))))) | ~(![A__questionmark_Heapa:$int, A__questionmark_thisa:$int]: (~(~~(A__questionmark_thisa = nullObject) | ~(x(typeof(A__questionmark_thisa), BoundedStack) = true_1)) => (BoundedStack_ToString(A__questionmark_Heapa, A__questionmark_thisa) = System_Object_ToString(A__questionmark_Heapa, A__questionmark_thisa))))) | ~(![A__questionmark_Heapa:$int, A__questionmark_thisa:$int]: (?[A__questionmark_v_79_80a:$int]: ((A__questionmark_v_79_80a = typeof(A__questionmark_thisa)) & (~(((((~~(A__questionmark_thisa = nullObject) | ~(x(A__questionmark_v_79_80a, BoundedStack) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_thisa, inv) = A__questionmark_v_79_80a)) | ~(select2(A__questionmark_Heapa, A__questionmark_thisa, localinv) = A__questionmark_v_79_80a)) | ~(IsHeap(A__questionmark_Heapa) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_thisa, allocated) = true_1)) => (BoundedStack_ToString(A__questionmark_Heapa, A__questionmark_thisa) = BoundedStack_ToString_1(select2(A__questionmark_Heapa, A__questionmark_thisa, exposeVersion)))))))) | ~((PurityAxiomsCanBeAssumed = true_1) => (![A__questionmark_Heapa:$int, A__questionmark_arg0_ina:$int, A__questionmark_arg1_ina:$int]: (?[A__questionmark_v_80_81a:$int]: ((A__questionmark_v_80_81a = System_String_Concat_System_Object_System_Object(A__questionmark_Heapa, A__questionmark_arg0_ina, A__questionmark_arg1_ina)) & (~((((((~(IsHeap(A__questionmark_Heapa) = true_1) | ~(Is(A__questionmark_arg0_ina, System_Object) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_arg0_ina, allocated) = true_1)) | ~(Is(A__questionmark_arg1_ina, System_Object) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_arg1_ina, allocated) = true_1)) | ~((A__questionmark_arg0_ina = nullObject) | (![A__questionmark_pca:$int]: (?[A__questionmark_v_81_82a:$int]: ((A__questionmark_v_81_82a = typeof(A__questionmark_pca)) & (~(((~~(A__questionmark_pca = nullObject) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, allocated) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerRef) = select2(A__questionmark_Heapa, A__questionmark_arg0_ina, ownerRef))) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerFrame) = select2(A__questionmark_Heapa, A__questionmark_arg0_ina, ownerFrame))) => ~(~(select2(A__questionmark_Heapa, A__questionmark_pca, inv) = A__questionmark_v_81_82a) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, localinv) = A__questionmark_v_81_82a)))))))) | ~((A__questionmark_arg1_ina = nullObject) | (![A__questionmark_pca:$int]: (?[A__questionmark_v_82_83a:$int]: ((A__questionmark_v_82_83a = typeof(A__questionmark_pca)) & (~(((~~(A__questionmark_pca = nullObject) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, allocated) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerRef) = select2(A__questionmark_Heapa, A__questionmark_arg1_ina, ownerRef))) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerFrame) = select2(A__questionmark_Heapa, A__questionmark_arg1_ina, ownerFrame))) => ~(~(select2(A__questionmark_Heapa, A__questionmark_pca, inv) = A__questionmark_v_82_83a) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, localinv) = A__questionmark_v_82_83a)))))))) => ~((((~(IsNotNull(A__questionmark_v_80_81a, System_String) = true_1) | ~(select2(A__questionmark_Heapa, A__questionmark_v_80_81a, allocated) = true_1)) | ~(AsPureObject(A__questionmark_arg0_ina) = A__questionmark_arg0_ina)) | ~(AsPureObject(A__questionmark_arg1_ina) = A__questionmark_arg1_ina)) | ~(![A__questionmark_pca:$int]: (?[A__questionmark_v_83_84a:$int]: ((A__questionmark_v_83_84a = typeof(A__questionmark_pca)) & (~(((~~(A__questionmark_pca = nullObject) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, allocated) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerRef) = select2(A__questionmark_Heapa, A__questionmark_v_80_81a, ownerRef))) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerFrame) = select2(A__questionmark_Heapa, A__questionmark_v_80_81a, ownerFrame))) => ~(~(select2(A__questionmark_Heapa, A__questionmark_pca, inv) = A__questionmark_v_83_84a) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, localinv) = A__questionmark_v_83_84a))))))))))))) | ~(![A__questionmark_Heapa:$int, A__questionmark_arg0_ina:$int, A__questionmark_arg1_ina:$int]: (System_String_Concat_System_Object_System_Object(A__questionmark_Heapa, A__questionmark_arg0_ina, A__questionmark_arg1_ina) = System_String_Concat_System_Object_System_Object_1(A__questionmark_arg0_ina, A__questionmark_arg1_ina)))) | ~((PurityAxiomsCanBeAssumed = true_1) => (![A__questionmark_Heapa:$int, A__questionmark_str0_ina:$int, A__questionmark_str1_ina:$int]: (?[A__questionmark_v_84_85a:$int]: ((A__questionmark_v_84_85a = System_String_Concat_System_String_System_String(A__questionmark_Heapa, A__questionmark_str0_ina, A__questionmark_str1_ina)) & (~((((((~(IsHeap(A__questionmark_Heapa) = true_1) | ~(Is(A__questionmark_str0_ina, System_String) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_str0_ina, allocated) = true_1)) | ~(Is(A__questionmark_str1_ina, System_String) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_str1_ina, allocated) = true_1)) | ~((A__questionmark_str0_ina = nullObject) | (![A__questionmark_pca:$int]: (?[A__questionmark_v_85_86a:$int]: ((A__questionmark_v_85_86a = typeof(A__questionmark_pca)) & (~(((~~(A__questionmark_pca = nullObject) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, allocated) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerRef) = select2(A__questionmark_Heapa, A__questionmark_str0_ina, ownerRef))) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerFrame) = select2(A__questionmark_Heapa, A__questionmark_str0_ina, ownerFrame))) => ~(~(select2(A__questionmark_Heapa, A__questionmark_pca, inv) = A__questionmark_v_85_86a) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, localinv) = A__questionmark_v_85_86a)))))))) | ~((A__questionmark_str1_ina = nullObject) | (![A__questionmark_pca:$int]: (?[A__questionmark_v_86_87a:$int]: ((A__questionmark_v_86_87a = typeof(A__questionmark_pca)) & (~(((~~(A__questionmark_pca = nullObject) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, allocated) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerRef) = select2(A__questionmark_Heapa, A__questionmark_str1_ina, ownerRef))) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerFrame) = select2(A__questionmark_Heapa, A__questionmark_str1_ina, ownerFrame))) => ~(~(select2(A__questionmark_Heapa, A__questionmark_pca, inv) = A__questionmark_v_86_87a) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, localinv) = A__questionmark_v_86_87a)))))))) => ~(((((~(IsNotNull(A__questionmark_v_84_85a, System_String) = true_1) | ~(select2(A__questionmark_Heapa, A__questionmark_v_84_85a, allocated) = true_1)) | ~(StringLength(A__questionmark_v_84_85a) = $sum(IfThenElse(anyEqual(A__questionmark_str0_ina, nullObject), 0, StringLength(A__questionmark_str0_ina)), IfThenElse(anyEqual(A__questionmark_str1_ina, nullObject), 0, StringLength(A__questionmark_str1_ina))))) | ~(AsPureObject(A__questionmark_str0_ina) = A__questionmark_str0_ina)) | ~(AsPureObject(A__questionmark_str1_ina) = A__questionmark_str1_ina)) | ~(![A__questionmark_pca:$int]: (?[A__questionmark_v_87_88a:$int]: ((A__questionmark_v_87_88a = typeof(A__questionmark_pca)) & (~(((~~(A__questionmark_pca = nullObject) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, allocated) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerRef) = select2(A__questionmark_Heapa, A__questionmark_v_84_85a, ownerRef))) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerFrame) = select2(A__questionmark_Heapa, A__questionmark_v_84_85a, ownerFrame))) => ~(~(select2(A__questionmark_Heapa, A__questionmark_pca, inv) = A__questionmark_v_87_88a) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, localinv) = A__questionmark_v_87_88a))))))))))))) | ~(![A__questionmark_Heapa:$int, A__questionmark_str0_ina:$int, A__questionmark_str1_ina:$int]: (System_String_Concat_System_String_System_String(A__questionmark_Heapa, A__questionmark_str0_ina, A__questionmark_str1_ina) = System_String_Concat_System_String_System_String_1(A__questionmark_str0_ina, A__questionmark_str1_ina)))) | ~(IsNotNull(stringLiteral8, System_String) = true_1)) | ~(StringLength(stringLiteral8) = 13)) | ~(![A__questionmark_heapa:$int]: ((IsHeap(A__questionmark_heapa) = true_1) => (select2(A__questionmark_heapa, stringLiteral8, allocated) = true_1)))) | ~(![A__questionmark_heapa:$int]: ((IsHeap(A__questionmark_heapa) = true_1) => (System_String_IsInterned_System_String_notnull(A__questionmark_heapa, stringLiteral8) = stringLiteral8)))) | ~(IsNotNull(stringLiteral9, System_String) = true_1)) | ~(StringLength(stringLiteral9) = 18)) | ~(![A__questionmark_heapa:$int]: ((IsHeap(A__questionmark_heapa) = true_1) => (select2(A__questionmark_heapa, stringLiteral9, allocated) = true_1)))) | ~(![A__questionmark_heapa:$int]: ((IsHeap(A__questionmark_heapa) = true_1) => (System_String_IsInterned_System_String_notnull(A__questionmark_heapa, stringLiteral9) = stringLiteral9)))) | ~(IsNotNull(stringLiteral10, System_String) = true_1)) | ~(StringLength(stringLiteral10) = 7)) | ~(![A__questionmark_heapa:$int]: ((IsHeap(A__questionmark_heapa) = true_1) => (select2(A__questionmark_heapa, stringLiteral10, allocated) = true_1)))) | ~(![A__questionmark_heapa:$int]: ((IsHeap(A__questionmark_heapa) = true_1) => (System_String_IsInterned_System_String_notnull(A__questionmark_heapa, stringLiteral10) = stringLiteral10)))) | ~(IsNotNull(stringLiteral11, System_String) = true_1)) | ~(StringLength(stringLiteral11) = 1)) | ~(![A__questionmark_heapa:$int]: ((IsHeap(A__questionmark_heapa) = true_1) => (select2(A__questionmark_heapa, stringLiteral11, allocated) = true_1)))) | ~(![A__questionmark_heapa:$int]: ((IsHeap(A__questionmark_heapa) = true_1) => (System_String_IsInterned_System_String_notnull(A__questionmark_heapa, stringLiteral11) = stringLiteral11)))))), file('/export/starexec/sandbox2/benchmark/theBenchmark.p', formula_2)).
% 106.12/75.60 tff(c_6175, plain, (BoundedStack='#skF_90'), inference(cnfTransformation, [status(thm)], [f_10448])).
% 106.12/75.60 tff(c_6170, plain, (BoundedStack='#skF_91'), inference(cnfTransformation, [status(thm)], [f_10448])).
% 106.12/75.60 tff(c_14652, plain, ('#skF_91'='#skF_90'), inference(demodulation, [status(thm), theory('equality')], [c_6175, c_6170])).
% 106.12/75.60 tff(c_6169, plain, (BoundedStack='#skF_92'), inference(cnfTransformation, [status(thm)], [f_10448])).
% 106.12/75.60 tff(c_14629, plain, ('#skF_92'='#skF_91'), inference(demodulation, [status(thm), theory('equality')], [c_6170, c_6169])).
% 106.12/75.60 tff(c_6063, plain, (nullObject=BeingConstructed), inference(cnfTransformation, [status(thm)], [f_10448])).
% 106.12/75.60 tff(c_6062, plain, (true_1=PurityAxiomsCanBeAssumed), inference(cnfTransformation, [status(thm)], [f_10448])).
% 106.12/75.60 tff(c_5160, plain, (this=nullObject), inference(cnfTransformation, [status(thm)], [f_10448])).
% 106.12/75.60 tff(c_6045, plain, (IsNotNull(this, BoundedStack)=true_1), inference(cnfTransformation, [status(thm)], [f_10448])).
% 106.12/75.60 tff(c_14344, plain, (IsNotNull(nullObject, BoundedStack)=true_1), inference(demodulation, [status(thm), theory('equality')], [c_5160, c_6045])).
% 106.12/75.60 tff(c_14380, plain, (IsNotNull(nullObject, BoundedStack)=PurityAxiomsCanBeAssumed), inference(demodulation, [status(thm), theory('equality')], [c_6062, c_14344])).
% 106.12/75.60 tff(c_14443, plain, (IsNotNull(BeingConstructed, BoundedStack)=PurityAxiomsCanBeAssumed), inference(demodulation, [status(thm), theory('equality')], [c_6063, c_14380])).
% 106.12/75.60 tff(c_14625, plain, (IsNotNull(BeingConstructed, '#skF_92')=PurityAxiomsCanBeAssumed), inference(demodulation, [status(thm), theory('equality')], [c_6169, c_14443])).
% 106.12/75.60 tff(c_14639, plain, (IsNotNull(BeingConstructed, '#skF_91')=PurityAxiomsCanBeAssumed), inference(demodulation, [status(thm), theory('equality')], [c_14629, c_14625])).
% 106.12/75.60 tff(c_49843, plain, (IsNotNull(BeingConstructed, '#skF_90')=PurityAxiomsCanBeAssumed), inference(demodulation, [status(thm), theory('equality')], [c_14652, c_14639])).
% 106.12/75.60 tff(c_7426, plain, (![A__questionmark_T_872a:$int]: (IsNotNull(nullObject, A__questionmark_T_872a)!=true_1)), inference(cnfTransformation, [status(thm)], [f_8426])).
% 106.12/75.60 tff(c_15594, plain, (![A__questionmark_T_872a:$int]: (IsNotNull(BeingConstructed, A__questionmark_T_872a)!=PurityAxiomsCanBeAssumed)), inference(demodulation, [status(thm), theory('equality')], [c_6063, c_6062, c_7426])).
% 106.12/75.60 tff(c_49861, plain, $false, inference(superposition, [status(thm), theory('equality')], [c_49843, c_15594])).
% 106.12/75.60 tff(c_49864, plain, $false, inference(backgroundSimplification, [status(thm), theory('LIA')], [c_49861])).
% 106.12/75.60 % SZS output end CNFRefutation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 106.12/75.60
% 106.12/75.60 Inference rules
% 106.12/75.60 ----------------------
% 106.12/75.60 #Ref : 0
% 106.12/75.60 #Sup : 2123
% 106.12/75.60 #Fact : 4
% 106.12/75.60 #Define : 9
% 106.12/75.60 #Split : 0
% 106.12/75.60 #Chain : 0
% 106.12/75.60 #Close : 0
% 106.12/75.60
% 106.12/75.60 Ordering : LPO
% 106.12/75.60
% 106.12/75.60 Simplification rules
% 106.12/75.60 ----------------------
% 106.12/75.60 #Subsume : 687
% 106.12/75.60 #Demod : 11737
% 106.12/75.60 #Tautology : 1944
% 106.12/75.60 #SimpNegUnit : 579
% 106.12/75.60 #BackRed : 4
% 106.12/75.60
% 106.12/75.60 #Partial instantiations: 0
% 106.12/75.60 #Strategies tried : 1
% 106.12/75.60
% 106.12/75.60 Timing (in seconds)
% 106.12/75.60 ----------------------
% 106.12/75.60 Preprocessing : 3.00
% 106.12/75.60 Parsing : 1.23
% 106.12/75.60 CNF conversion : 0.20
% 106.12/75.60 Main loop : 71.23
% 106.12/75.60 Inferencing : 1.17
% 106.12/75.60 Reduction : 34.71
% 106.12/75.60 Demodulation : 22.16
% 106.12/75.60 BG Simplification : 1.03
% 106.12/75.60 Subsumption : 17.47
% 106.12/75.60 Abstraction : 0.79
% 106.12/75.60 MUC search : 0.00
% 106.12/75.60 Cooper : 12.60
% 106.12/75.60 Total : 74.58
% 106.12/75.60 Index Insertion : 0.00
% 106.12/75.60 Index Deletion : 0.00
% 106.12/75.60 Index Matching : 0.00
% 106.12/75.60 BG Taut test : 0.00
%------------------------------------------------------------------------------