2/2 analysis-api: Initial implementation for contracts

Review: https://jetbrains.team/p/kt/reviews/7652

Put this change into a separate commit because:
1. The change is boring and clutters the diff of the first commit
2. The first commits is already too big

analysis/analysis-api/testData/components/scopeProvider/typeScope/innerClassTypeParamsSubstitution.txt

diff --git a/analysis/analysis-api/testData/components/scopeProvider/typeScope/innerClassTypeParamsSubstitution.txt b/analysis/analysis-api/testData/components/scopeProvider/typeScope/innerClassTypeParamsSubstitution.txt
index 78692c2..85b4a7f 100644
--- a/analysis/analysis-api/testData/components/scopeProvider/typeScope/innerClassTypeParamsSubstitution.txt
+++ b/analysis/analysis-api/testData/components/scopeProvider/typeScope/innerClassTypeParamsSubstitution.txt
@@ -65,6 +65,7 @@
   annotationsList: []
   callableIdIfNonLocal: /Outer.A.foo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -168,6 +169,7 @@
   annotationsList: []
   callableIdIfNonLocal: /Outer.A.fromSuper
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -191,6 +193,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.equals
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -232,6 +235,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.hashCode
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -255,6 +259,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.toString
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/components/scopeProvider/typeScope/intList.txt

diff --git a/analysis/analysis-api/testData/components/scopeProvider/typeScope/intList.txt b/analysis/analysis-api/testData/components/scopeProvider/typeScope/intList.txt
index 5637f52..58c30cc 100644
--- a/analysis/analysis-api/testData/components/scopeProvider/typeScope/intList.txt
+++ b/analysis/analysis-api/testData/components/scopeProvider/typeScope/intList.txt
@@ -155,6 +155,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.contains
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -196,6 +197,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.containsAll
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -237,6 +239,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.get
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -278,6 +281,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.indexOf
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -319,6 +323,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.isEmpty
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -342,6 +347,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.iterator
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -365,6 +371,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.lastIndexOf
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -406,6 +413,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.listIterator
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -429,6 +437,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.listIterator
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -470,6 +479,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.subList
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -571,6 +581,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.equals
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -612,6 +623,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.hashCode
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -635,6 +647,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.toString
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/components/scopeProvider/typeScope/outerClassTypeParamsSubstitution.txt

diff --git a/analysis/analysis-api/testData/components/scopeProvider/typeScope/outerClassTypeParamsSubstitution.txt b/analysis/analysis-api/testData/components/scopeProvider/typeScope/outerClassTypeParamsSubstitution.txt
index d0505c9..b8d5c10 100644
--- a/analysis/analysis-api/testData/components/scopeProvider/typeScope/outerClassTypeParamsSubstitution.txt
+++ b/analysis/analysis-api/testData/components/scopeProvider/typeScope/outerClassTypeParamsSubstitution.txt
@@ -59,6 +59,7 @@
   annotationsList: []
   callableIdIfNonLocal: /Outer.A.foo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -162,6 +163,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.equals
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -203,6 +205,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.hashCode
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -226,6 +229,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.toString
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/components/scopeProvider/typeScope/outerTypeParamsSubstitution.txt

diff --git a/analysis/analysis-api/testData/components/scopeProvider/typeScope/outerTypeParamsSubstitution.txt b/analysis/analysis-api/testData/components/scopeProvider/typeScope/outerTypeParamsSubstitution.txt
index 5bb575d..f4a8cc2 100644
--- a/analysis/analysis-api/testData/components/scopeProvider/typeScope/outerTypeParamsSubstitution.txt
+++ b/analysis/analysis-api/testData/components/scopeProvider/typeScope/outerTypeParamsSubstitution.txt
@@ -59,6 +59,7 @@
   annotationsList: []
   callableIdIfNonLocal: /A.foo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -162,6 +163,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.equals
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -203,6 +205,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.hashCode
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -226,6 +229,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.toString
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/components/scopeProvider/typeScope/typeParamList.txt

diff --git a/analysis/analysis-api/testData/components/scopeProvider/typeScope/typeParamList.txt b/analysis/analysis-api/testData/components/scopeProvider/typeScope/typeParamList.txt
index 2a55ef3..421d790 100644
--- a/analysis/analysis-api/testData/components/scopeProvider/typeScope/typeParamList.txt
+++ b/analysis/analysis-api/testData/components/scopeProvider/typeScope/typeParamList.txt
@@ -155,6 +155,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.contains
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -196,6 +197,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.containsAll
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -237,6 +239,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.get
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -278,6 +281,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.indexOf
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -319,6 +323,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.isEmpty
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -342,6 +347,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.iterator
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -365,6 +371,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.lastIndexOf
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -406,6 +413,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.listIterator
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -429,6 +437,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.listIterator
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -470,6 +479,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.subList
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -571,6 +581,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.equals
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -612,6 +623,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.hashCode
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -635,6 +647,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.toString
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/scopes/delegatedMemberScope/simple.descriptors.txt

diff --git a/analysis/analysis-api/testData/scopes/delegatedMemberScope/simple.descriptors.txt b/analysis/analysis-api/testData/scopes/delegatedMemberScope/simple.descriptors.txt
index 89dc0af..a5d141f 100644
--- a/analysis/analysis-api/testData/scopes/delegatedMemberScope/simple.descriptors.txt
+++ b/analysis/analysis-api/testData/scopes/delegatedMemberScope/simple.descriptors.txt
@@ -133,6 +133,7 @@
   annotationsList: []
   callableIdIfNonLocal: /I.foo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -160,6 +161,7 @@
   annotationsList: []
   callableIdIfNonLocal: /I.smth
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: true

analysis/analysis-api/testData/scopes/delegatedMemberScope/simple.txt

diff --git a/analysis/analysis-api/testData/scopes/delegatedMemberScope/simple.txt b/analysis/analysis-api/testData/scopes/delegatedMemberScope/simple.txt
index eddc85f..44be3dc 100644
--- a/analysis/analysis-api/testData/scopes/delegatedMemberScope/simple.txt
+++ b/analysis/analysis-api/testData/scopes/delegatedMemberScope/simple.txt
@@ -42,6 +42,7 @@
   annotationsList: []
   callableIdIfNonLocal: /I.foo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -103,6 +104,7 @@
   annotationsList: []
   callableIdIfNonLocal: /I.smth
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: true

analysis/analysis-api/testData/scopes/delegatedMemberScope/withOverridden.txt

diff --git a/analysis/analysis-api/testData/scopes/delegatedMemberScope/withOverridden.txt b/analysis/analysis-api/testData/scopes/delegatedMemberScope/withOverridden.txt
index 9af7969..8f31a78 100644
--- a/analysis/analysis-api/testData/scopes/delegatedMemberScope/withOverridden.txt
+++ b/analysis/analysis-api/testData/scopes/delegatedMemberScope/withOverridden.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: /I2.bar
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/scopes/fileScopeTest/fileScope.descriptors.txt

diff --git a/analysis/analysis-api/testData/scopes/fileScopeTest/fileScope.descriptors.txt b/analysis/analysis-api/testData/scopes/fileScopeTest/fileScope.descriptors.txt
index 9cd1fed..d1a5212 100644
--- a/analysis/analysis-api/testData/scopes/fileScopeTest/fileScope.descriptors.txt
+++ b/analysis/analysis-api/testData/scopes/fileScopeTest/fileScope.descriptors.txt
@@ -13,6 +13,7 @@
   annotationsList: []
   callableIdIfNonLocal: /function
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -42,6 +43,7 @@
   ]
   callableIdIfNonLocal: /functionWithDefault
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/scopes/fileScopeTest/fileScope.txt

diff --git a/analysis/analysis-api/testData/scopes/fileScopeTest/fileScope.txt b/analysis/analysis-api/testData/scopes/fileScopeTest/fileScope.txt
index 4146b6a..52de736 100644
--- a/analysis/analysis-api/testData/scopes/fileScopeTest/fileScope.txt
+++ b/analysis/analysis-api/testData/scopes/fileScopeTest/fileScope.txt
@@ -13,6 +13,7 @@
   annotationsList: []
   callableIdIfNonLocal: /function
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -42,6 +43,7 @@
   ]
   callableIdIfNonLocal: /functionWithDefault
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/scopes/fileScopeTest/simpleFileScope.txt

diff --git a/analysis/analysis-api/testData/scopes/fileScopeTest/simpleFileScope.txt b/analysis/analysis-api/testData/scopes/fileScopeTest/simpleFileScope.txt
index 0209cb8..525a2d7 100644
--- a/analysis/analysis-api/testData/scopes/fileScopeTest/simpleFileScope.txt
+++ b/analysis/analysis-api/testData/scopes/fileScopeTest/simpleFileScope.txt
@@ -13,6 +13,7 @@
   annotationsList: []
   callableIdIfNonLocal: /test
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/scopes/memberScopeByFqName/Int.txt

diff --git a/analysis/analysis-api/testData/scopes/memberScopeByFqName/Int.txt b/analysis/analysis-api/testData/scopes/memberScopeByFqName/Int.txt
index 1f8d12c..3d6995a 100644
--- a/analysis/analysis-api/testData/scopes/memberScopeByFqName/Int.txt
+++ b/analysis/analysis-api/testData/scopes/memberScopeByFqName/Int.txt
@@ -5,6 +5,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.and
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -55,6 +56,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.compareTo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -105,6 +107,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.compareTo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -155,6 +158,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.compareTo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -205,6 +209,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.compareTo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -255,6 +260,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.compareTo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -305,6 +311,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.compareTo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -352,6 +359,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Int.dec
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -382,6 +390,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.div
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -432,6 +441,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.div
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -482,6 +492,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.div
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -532,6 +543,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.div
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -582,6 +594,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.div
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -632,6 +645,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.div
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -682,6 +696,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.equals
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -729,6 +744,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Int.inc
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -759,6 +775,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.inv
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -789,6 +806,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.minus
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -839,6 +857,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.minus
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -889,6 +908,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.minus
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -939,6 +959,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.minus
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -989,6 +1010,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.minus
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1039,6 +1061,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.minus
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1089,6 +1112,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.or
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1139,6 +1163,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.plus
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1189,6 +1214,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.plus
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1239,6 +1265,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.plus
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1289,6 +1316,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.plus
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1339,6 +1367,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.plus
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1389,6 +1418,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.plus
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1436,6 +1466,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Int.rangeTo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1483,6 +1514,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Int.rangeTo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1530,6 +1562,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Int.rangeTo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1577,6 +1610,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Int.rangeTo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1629,6 +1663,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.rangeUntil
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1681,6 +1716,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.rangeUntil
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1733,6 +1769,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.rangeUntil
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1785,6 +1822,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.rangeUntil
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1837,6 +1875,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.rem
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1889,6 +1928,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.rem
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1941,6 +1981,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.rem
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1993,6 +2034,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.rem
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2045,6 +2087,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.rem
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2097,6 +2140,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.rem
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2147,6 +2191,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.shl
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2197,6 +2242,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.shr
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2247,6 +2293,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.times
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2297,6 +2344,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.times
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2347,6 +2395,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.times
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2397,6 +2446,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.times
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2447,6 +2497,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.times
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2497,6 +2548,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.times
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2547,6 +2599,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.toByte
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2577,6 +2630,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.toChar
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2607,6 +2661,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.toDouble
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2637,6 +2692,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.toFloat
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2667,6 +2723,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.toInt
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2697,6 +2754,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.toLong
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2727,6 +2785,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.toShort
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2757,6 +2816,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.toString
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2787,6 +2847,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.unaryMinus
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2817,6 +2878,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.unaryPlus
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2847,6 +2909,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.ushr
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2897,6 +2960,7 @@
   ]
   callableIdIfNonLocal: kotlin/Int.xor
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2944,6 +3008,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.hashCode
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/scopes/memberScopeByFqName/MutableList.txt

diff --git a/analysis/analysis-api/testData/scopes/memberScopeByFqName/MutableList.txt b/analysis/analysis-api/testData/scopes/memberScopeByFqName/MutableList.txt
index 68e23b4f..c2c5a6f 100644
--- a/analysis/analysis-api/testData/scopes/memberScopeByFqName/MutableList.txt
+++ b/analysis/analysis-api/testData/scopes/memberScopeByFqName/MutableList.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/MutableList.add
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -49,6 +50,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/MutableList.add
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -115,6 +117,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/MutableList.addAll
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -181,6 +184,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/MutableList.addAll
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -228,6 +232,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/MutableList.clear
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -255,6 +260,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/MutableList.listIterator
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -282,6 +288,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/MutableList.listIterator
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -329,6 +336,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/MutableList.remove
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -376,6 +384,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/MutableList.removeAll
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -423,6 +432,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/MutableList.removeAt
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -470,6 +480,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/MutableList.retainAll
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -517,6 +528,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/MutableList.set
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -583,6 +595,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/MutableList.subList
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -649,6 +662,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/MutableList.contains
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -696,6 +710,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/MutableList.containsAll
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -743,6 +758,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/MutableList.get
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -790,6 +806,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/MutableList.indexOf
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -837,6 +854,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.isEmpty
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -864,6 +882,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/MutableList.iterator
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -891,6 +910,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/MutableList.lastIndexOf
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -992,6 +1012,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.equals
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1039,6 +1060,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.hashCode
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1066,6 +1088,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.toString
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/scopes/memberScopeByFqName/dataClass.txt

diff --git a/analysis/analysis-api/testData/scopes/memberScopeByFqName/dataClass.txt b/analysis/analysis-api/testData/scopes/memberScopeByFqName/dataClass.txt
index 439acb8..f15804f 100644
--- a/analysis/analysis-api/testData/scopes/memberScopeByFqName/dataClass.txt
+++ b/analysis/analysis-api/testData/scopes/memberScopeByFqName/dataClass.txt
@@ -164,6 +164,7 @@
   annotationsList: []
   callableIdIfNonLocal: /Abc.check
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -256,6 +257,7 @@
   annotationsList: []
   callableIdIfNonLocal: /Abc.component1
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -283,6 +285,7 @@
   annotationsList: []
   callableIdIfNonLocal: /Abc.component2
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -310,6 +313,7 @@
   annotationsList: []
   callableIdIfNonLocal: /Abc.component3
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -337,6 +341,7 @@
   annotationsList: []
   callableIdIfNonLocal: /Abc.copy
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -422,6 +427,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.equals
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -469,6 +475,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.hashCode
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -496,6 +503,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.toString
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/scopes/memberScopeByFqName/enumEntry.txt

diff --git a/analysis/analysis-api/testData/scopes/memberScopeByFqName/enumEntry.txt b/analysis/analysis-api/testData/scopes/memberScopeByFqName/enumEntry.txt
index 5369cf8..5fb2fc1 100644
--- a/analysis/analysis-api/testData/scopes/memberScopeByFqName/enumEntry.txt
+++ b/analysis/analysis-api/testData/scopes/memberScopeByFqName/enumEntry.txt
@@ -56,6 +56,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Enum.clone
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -83,6 +84,7 @@
   annotationsList: []
   callableIdIfNonLocal: test/E.compareTo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -130,6 +132,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Enum.equals
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -177,6 +180,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Enum.hashCode
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -204,6 +208,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Enum.toString
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/scopes/memberScopeByFqName/java.lang.String.txt

diff --git a/analysis/analysis-api/testData/scopes/memberScopeByFqName/java.lang.String.txt b/analysis/analysis-api/testData/scopes/memberScopeByFqName/java.lang.String.txt
index 615c6cf..851c42b 100644
--- a/analysis/analysis-api/testData/scopes/memberScopeByFqName/java.lang.String.txt
+++ b/analysis/analysis-api/testData/scopes/memberScopeByFqName/java.lang.String.txt
@@ -40,6 +40,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.hash32
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -140,6 +141,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.isEmpty
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -167,6 +169,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.codePointAt
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -214,6 +217,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.codePointBefore
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -261,6 +265,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.codePointCount
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -327,6 +332,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.offsetByCodePoints
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -393,6 +399,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.getChars
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -459,6 +466,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.getChars
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -566,6 +574,7 @@
   ]
   callableIdIfNonLocal: java/lang/String.getBytes
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -670,6 +679,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.getBytes
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -717,6 +727,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.getBytes
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -764,6 +775,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.getBytes
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -791,6 +803,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.equals
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -838,6 +851,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.contentEquals
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -885,6 +899,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.contentEquals
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -932,6 +947,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.equalsIgnoreCase
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -979,6 +995,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.compareTo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1026,6 +1043,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.compareToIgnoreCase
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1073,6 +1091,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.regionMatches
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1177,6 +1196,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.regionMatches
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1300,6 +1320,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.startsWith
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1366,6 +1387,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.startsWith
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1413,6 +1435,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.endsWith
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1460,6 +1483,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.hashCode
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1487,6 +1511,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.indexOf
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1534,6 +1559,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.indexOf
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1600,6 +1626,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.indexOf
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1647,6 +1674,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.indexOf
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1713,6 +1741,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.indexOfSupplementary
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1779,6 +1808,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.lastIndexOf
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1826,6 +1856,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.lastIndexOf
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1892,6 +1923,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.lastIndexOf
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -1939,6 +1971,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.lastIndexOf
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2005,6 +2038,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.lastIndexOfSupplementary
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2071,6 +2105,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.substring
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2118,6 +2153,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.substring
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2184,6 +2220,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.subSequence
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2250,6 +2287,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.concat
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2297,6 +2335,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.replace
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2363,6 +2402,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.replace
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2429,6 +2469,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.matches
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2476,6 +2517,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.contains
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2523,6 +2565,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.replaceFirst
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2589,6 +2632,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.replaceAll
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2655,6 +2699,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.split
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2721,6 +2766,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.split
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2768,6 +2814,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.toLowerCase
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2815,6 +2862,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.toLowerCase
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2842,6 +2890,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.toUpperCase
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2889,6 +2938,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.toUpperCase
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2916,6 +2966,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.trim
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2943,6 +2994,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.toString
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2970,6 +3022,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.toCharArray
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -2997,6 +3050,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.intern
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -3024,6 +3078,7 @@
   annotationsList: []
   callableIdIfNonLocal: java/lang/String.get
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/scopes/memberScopeByFqName/javaField.txt

diff --git a/analysis/analysis-api/testData/scopes/memberScopeByFqName/javaField.txt b/analysis/analysis-api/testData/scopes/memberScopeByFqName/javaField.txt
index 7ed82b8..1644888 100644
--- a/analysis/analysis-api/testData/scopes/memberScopeByFqName/javaField.txt
+++ b/analysis/analysis-api/testData/scopes/memberScopeByFqName/javaField.txt
@@ -40,6 +40,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.equals
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -87,6 +88,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.hashCode
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -114,6 +116,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.toString
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/scopes/memberScopeByFqName/javaFieldClash.txt

diff --git a/analysis/analysis-api/testData/scopes/memberScopeByFqName/javaFieldClash.txt b/analysis/analysis-api/testData/scopes/memberScopeByFqName/javaFieldClash.txt
index 7f5f70b..81a52c6 100644
--- a/analysis/analysis-api/testData/scopes/memberScopeByFqName/javaFieldClash.txt
+++ b/analysis/analysis-api/testData/scopes/memberScopeByFqName/javaFieldClash.txt
@@ -40,6 +40,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.equals
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -87,6 +88,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.hashCode
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -114,6 +116,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.toString
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/scopes/memberScopeByFqName/javaMethods.txt

diff --git a/analysis/analysis-api/testData/scopes/memberScopeByFqName/javaMethods.txt b/analysis/analysis-api/testData/scopes/memberScopeByFqName/javaMethods.txt
index d15e0f2..9ccacef 100644
--- a/analysis/analysis-api/testData/scopes/memberScopeByFqName/javaMethods.txt
+++ b/analysis/analysis-api/testData/scopes/memberScopeByFqName/javaMethods.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: /JavaClass.foo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -29,6 +30,7 @@
   annotationsList: []
   callableIdIfNonLocal: /JavaClass.doo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -76,6 +78,7 @@
   annotationsList: []
   callableIdIfNonLocal: /JavaClass.getStringValue
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -103,6 +106,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.equals
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -150,6 +154,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.hashCode
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -177,6 +182,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.toString
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/scopes/memberScopeByFqName/kotlin.Function2.txt

diff --git a/analysis/analysis-api/testData/scopes/memberScopeByFqName/kotlin.Function2.txt b/analysis/analysis-api/testData/scopes/memberScopeByFqName/kotlin.Function2.txt
index ae54458..b7b33ab 100644
--- a/analysis/analysis-api/testData/scopes/memberScopeByFqName/kotlin.Function2.txt
+++ b/analysis/analysis-api/testData/scopes/memberScopeByFqName/kotlin.Function2.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Function2.invoke
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: false
   isBuiltinFunctionInvoke: true
   isExtension: false
@@ -68,6 +69,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.equals
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -115,6 +117,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.hashCode
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -142,6 +145,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.toString
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/scopes/memberScopeByFqName/withTestCompilerPluginEnabled/customSerlializable.txt

diff --git a/analysis/analysis-api/testData/scopes/memberScopeByFqName/withTestCompilerPluginEnabled/customSerlializable.txt b/analysis/analysis-api/testData/scopes/memberScopeByFqName/withTestCompilerPluginEnabled/customSerlializable.txt
index 8ddad47..a625ffe 100644
--- a/analysis/analysis-api/testData/scopes/memberScopeByFqName/withTestCompilerPluginEnabled/customSerlializable.txt
+++ b/analysis/analysis-api/testData/scopes/memberScopeByFqName/withTestCompilerPluginEnabled/customSerlializable.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: test/Serializer.serializeFirstTarget
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -49,6 +50,7 @@
   annotationsList: []
   callableIdIfNonLocal: test/Serializer.serializeSecondTarget
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -96,6 +98,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.equals
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -143,6 +146,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.hashCode
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -170,6 +174,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.toString
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/scopes/memberScopeByFqName/withTestCompilerPluginEnabled/generatedCompanionWithFoo.txt

diff --git a/analysis/analysis-api/testData/scopes/memberScopeByFqName/withTestCompilerPluginEnabled/generatedCompanionWithFoo.txt b/analysis/analysis-api/testData/scopes/memberScopeByFqName/withTestCompilerPluginEnabled/generatedCompanionWithFoo.txt
index 7eb538a..7fcf127 100644
--- a/analysis/analysis-api/testData/scopes/memberScopeByFqName/withTestCompilerPluginEnabled/generatedCompanionWithFoo.txt
+++ b/analysis/analysis-api/testData/scopes/memberScopeByFqName/withTestCompilerPluginEnabled/generatedCompanionWithFoo.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: test/WithGeneratedCompanion.Companion.foo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -29,6 +30,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.equals
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -76,6 +78,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.hashCode
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -103,6 +106,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.toString
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/scopes/memberScopeByFqName/withTestCompilerPluginEnabled/nestedClassAndMaterializeMember.txt

diff --git a/analysis/analysis-api/testData/scopes/memberScopeByFqName/withTestCompilerPluginEnabled/nestedClassAndMaterializeMember.txt b/analysis/analysis-api/testData/scopes/memberScopeByFqName/withTestCompilerPluginEnabled/nestedClassAndMaterializeMember.txt
index d8fff2f..94900ab 100644
--- a/analysis/analysis-api/testData/scopes/memberScopeByFqName/withTestCompilerPluginEnabled/nestedClassAndMaterializeMember.txt
+++ b/analysis/analysis-api/testData/scopes/memberScopeByFqName/withTestCompilerPluginEnabled/nestedClassAndMaterializeMember.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: test/MyClass.materialize
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -29,6 +30,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.equals
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -76,6 +78,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.hashCode
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -103,6 +106,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.toString
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/singleSymbolByPsi/functionWithReceiverAnnotation.txt

diff --git a/analysis/analysis-api/testData/symbols/singleSymbolByPsi/functionWithReceiverAnnotation.txt b/analysis/analysis-api/testData/symbols/singleSymbolByPsi/functionWithReceiverAnnotation.txt
index 22ac533..4855f8c 100644
--- a/analysis/analysis-api/testData/symbols/singleSymbolByPsi/functionWithReceiverAnnotation.txt
+++ b/analysis/analysis-api/testData/symbols/singleSymbolByPsi/functionWithReceiverAnnotation.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: /foo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: true

analysis/analysis-api/testData/symbols/symbolByFqName/fileWalkDirectionEnum.descriptors.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByFqName/fileWalkDirectionEnum.descriptors.txt b/analysis/analysis-api/testData/symbols/symbolByFqName/fileWalkDirectionEnum.descriptors.txt
index 8024d85..84e5280 100644
--- a/analysis/analysis-api/testData/symbols/symbolByFqName/fileWalkDirectionEnum.descriptors.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByFqName/fileWalkDirectionEnum.descriptors.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/listOf
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -54,6 +55,7 @@
   ]
   callableIdIfNonLocal: kotlin/collections/listOf
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -82,6 +84,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/listOf
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByFqName/fileWalkDirectionEnum.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByFqName/fileWalkDirectionEnum.txt b/analysis/analysis-api/testData/symbols/symbolByFqName/fileWalkDirectionEnum.txt
index af0ef1d..0296f45 100644
--- a/analysis/analysis-api/testData/symbols/symbolByFqName/fileWalkDirectionEnum.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByFqName/fileWalkDirectionEnum.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/listOf
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -53,6 +54,7 @@
   ]
   callableIdIfNonLocal: kotlin/collections/listOf
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -81,6 +83,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/listOf
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByFqName/memberFunction.descriptors.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByFqName/memberFunction.descriptors.txt b/analysis/analysis-api/testData/symbols/symbolByFqName/memberFunction.descriptors.txt
index 0e13698..dc5f2b1 100644
--- a/analysis/analysis-api/testData/symbols/symbolByFqName/memberFunction.descriptors.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByFqName/memberFunction.descriptors.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.get
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByFqName/memberFunction.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByFqName/memberFunction.txt b/analysis/analysis-api/testData/symbols/symbolByFqName/memberFunction.txt
index 12e847d..77c2fd3 100644
--- a/analysis/analysis-api/testData/symbols/symbolByFqName/memberFunction.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByFqName/memberFunction.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.get
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByFqName/memberFunctionWithOverloads.descriptors.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByFqName/memberFunctionWithOverloads.descriptors.txt b/analysis/analysis-api/testData/symbols/symbolByFqName/memberFunctionWithOverloads.descriptors.txt
index 43ceab3..b71e608 100644
--- a/analysis/analysis-api/testData/symbols/symbolByFqName/memberFunctionWithOverloads.descriptors.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByFqName/memberFunctionWithOverloads.descriptors.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.listIterator
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -30,6 +31,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.listIterator
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByFqName/memberFunctionWithOverloads.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByFqName/memberFunctionWithOverloads.txt b/analysis/analysis-api/testData/symbols/symbolByFqName/memberFunctionWithOverloads.txt
index fb8ed60..2a0a124 100644
--- a/analysis/analysis-api/testData/symbols/symbolByFqName/memberFunctionWithOverloads.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByFqName/memberFunctionWithOverloads.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.listIterator
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -29,6 +30,7 @@
   annotationsList: []
   callableIdIfNonLocal: kotlin/collections/List.listIterator
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/annotations.descriptors.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/annotations.descriptors.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/annotations.descriptors.txt
index da81b5d..819bfd6 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/annotations.descriptors.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/annotations.descriptors.txt
@@ -189,6 +189,7 @@
   ]
   callableIdIfNonLocal: /X.x
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/annotations.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/annotations.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/annotations.txt
index 86f9777..897cf30 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/annotations.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/annotations.txt
@@ -189,6 +189,7 @@
   ]
   callableIdIfNonLocal: /X.x
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/anonymousObject.descriptors.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/anonymousObject.descriptors.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/anonymousObject.descriptors.txt
index 49763df..f1eecc6 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/anonymousObject.descriptors.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/anonymousObject.descriptors.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: null
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/anonymousObject.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/anonymousObject.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/anonymousObject.txt
index 686890c..04c9faa 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/anonymousObject.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/anonymousObject.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: null
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/classMembes.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/classMembes.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/classMembes.txt
index e02ed05..824b9b0 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/classMembes.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/classMembes.txt
@@ -56,6 +56,7 @@
   annotationsList: []
   callableIdIfNonLocal: /A.x
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/contextReceivers/contextReceiversOnFunction.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/contextReceivers/contextReceiversOnFunction.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/contextReceivers/contextReceiversOnFunction.txt
index 83f5b35..aff8e00 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/contextReceivers/contextReceiversOnFunction.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/contextReceivers/contextReceiversOnFunction.txt
@@ -5,6 +5,7 @@
     ContextReceiver(kotlin/Int)
     ContextReceiver(s@kotlin/String)
   ]
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/contextReceivers/similarSignatures.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/contextReceivers/similarSignatures.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/contextReceivers/similarSignatures.txt
index 0daad02..01f15d6 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/contextReceivers/similarSignatures.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/contextReceivers/similarSignatures.txt
@@ -50,6 +50,7 @@
   contextReceivers: [
     ContextReceiver(A)
   ]
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -78,6 +79,7 @@
   contextReceivers: [
     ContextReceiver(B)
   ]
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -107,6 +109,7 @@
     ContextReceiver(A)
     ContextReceiver(B)
   ]
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -136,6 +139,7 @@
     ContextReceiver(B)
     ContextReceiver(A)
   ]
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/deprecated.descriptors.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/deprecated.descriptors.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/deprecated.descriptors.txt
index f71b5c3..f811cb9 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/deprecated.descriptors.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/deprecated.descriptors.txt
@@ -346,6 +346,7 @@
   ]
   callableIdIfNonLocal: /f
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -458,6 +459,7 @@
   ]
   callableIdIfNonLocal: /Foo.f2
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/deprecated.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/deprecated.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/deprecated.txt
index ffeb7e2..06f6b1f 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/deprecated.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/deprecated.txt
@@ -344,6 +344,7 @@
   ]
   callableIdIfNonLocal: /f
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -456,6 +457,7 @@
   ]
   callableIdIfNonLocal: /Foo.f2
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/destructuringDeclaration.descriptors.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/destructuringDeclaration.descriptors.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/destructuringDeclaration.descriptors.txt
index 142045e..7cc0590 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/destructuringDeclaration.descriptors.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/destructuringDeclaration.descriptors.txt
@@ -216,6 +216,7 @@
   annotationsList: []
   callableIdIfNonLocal: /destruct
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/destructuringDeclaration.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/destructuringDeclaration.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/destructuringDeclaration.txt
index a37fb1e..a0ee4b5 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/destructuringDeclaration.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/destructuringDeclaration.txt
@@ -216,6 +216,7 @@
   annotationsList: []
   callableIdIfNonLocal: /destruct
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/dynamic.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/dynamic.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/dynamic.txt
index 34fdfcf..ba29995 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/dynamic.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/dynamic.txt
@@ -71,6 +71,7 @@
   annotationsList: []
   callableIdIfNonLocal: /Foo.f
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/enumEntryFunctions.descriptors.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/enumEntryFunctions.descriptors.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/enumEntryFunctions.descriptors.txt
index be446c1..a5e0677 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/enumEntryFunctions.descriptors.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/enumEntryFunctions.descriptors.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: null
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -59,6 +60,7 @@
   annotationsList: []
   callableIdIfNonLocal: null
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -86,6 +88,7 @@
   annotationsList: []
   callableIdIfNonLocal: null
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/enumEntryFunctions.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/enumEntryFunctions.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/enumEntryFunctions.txt
index 3caeb6f..c46a53a 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/enumEntryFunctions.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/enumEntryFunctions.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: null
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -59,6 +60,7 @@
   annotationsList: []
   callableIdIfNonLocal: null
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -86,6 +88,7 @@
   annotationsList: []
   callableIdIfNonLocal: null
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/enumEntryOverride.descriptors.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/enumEntryOverride.descriptors.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/enumEntryOverride.descriptors.txt
index 082f4d0..7837b08 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/enumEntryOverride.descriptors.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/enumEntryOverride.descriptors.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: null
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -29,6 +30,7 @@
   annotationsList: []
   callableIdIfNonLocal: null
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -71,6 +73,7 @@
   annotationsList: []
   callableIdIfNonLocal: null
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -167,6 +170,7 @@
   annotationsList: []
   callableIdIfNonLocal: null
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -194,6 +198,7 @@
   annotationsList: []
   callableIdIfNonLocal: null
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -256,6 +261,7 @@
   annotationsList: []
   callableIdIfNonLocal: /MyEnumClass.foo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -283,6 +289,7 @@
   annotationsList: []
   callableIdIfNonLocal: /MyEnumClass.foo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/enumEntryOverride.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/enumEntryOverride.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/enumEntryOverride.txt
index 322a8d9..0a7299a 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/enumEntryOverride.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/enumEntryOverride.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: null
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -29,6 +30,7 @@
   annotationsList: []
   callableIdIfNonLocal: null
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -71,6 +73,7 @@
   annotationsList: []
   callableIdIfNonLocal: null
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -166,6 +169,7 @@
   annotationsList: []
   callableIdIfNonLocal: null
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -193,6 +197,7 @@
   annotationsList: []
   callableIdIfNonLocal: null
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -255,6 +260,7 @@
   annotationsList: []
   callableIdIfNonLocal: /MyEnumClass.foo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -282,6 +288,7 @@
   annotationsList: []
   callableIdIfNonLocal: /MyEnumClass.foo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/extensionFunction.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/extensionFunction.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/extensionFunction.txt
index d4b3489..418177e 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/extensionFunction.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/extensionFunction.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: /foo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: true

analysis/analysis-api/testData/symbols/symbolByPsi/forLoopVariable.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/forLoopVariable.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/forLoopVariable.txt
index 5ec9b19..35804e5 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/forLoopVariable.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/forLoopVariable.txt
@@ -17,6 +17,7 @@
   annotationsList: []
   callableIdIfNonLocal: /usage
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/function.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/function.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/function.txt
index 6f7cb1b..3477f36 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/function.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/function.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: /foo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/functionWithTypeAlias.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/functionWithTypeAlias.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/functionWithTypeAlias.txt
index 7fe7bb93..6ec0879 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/functionWithTypeAlias.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/functionWithTypeAlias.txt
@@ -37,6 +37,7 @@
   annotationsList: []
   callableIdIfNonLocal: /function
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -83,6 +84,7 @@
   annotationsList: []
   callableIdIfNonLocal: /function
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/functionWithTypeParams.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/functionWithTypeParams.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/functionWithTypeParams.txt
index a01aa47..9101558 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/functionWithTypeParams.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/functionWithTypeParams.txt
@@ -13,6 +13,7 @@
   annotationsList: []
   callableIdIfNonLocal: /foo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/implicitReturn.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/implicitReturn.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/implicitReturn.txt
index 179c2bf..d66c135 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/implicitReturn.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/implicitReturn.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: /foo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/implicitReturnInLambda.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/implicitReturnInLambda.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/implicitReturnInLambda.txt
index dec83fe..2dc878d 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/implicitReturnInLambda.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/implicitReturnInLambda.txt
@@ -182,6 +182,7 @@
   annotationsList: []
   callableIdIfNonLocal: /foo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -208,6 +209,7 @@
   annotationsList: []
   callableIdIfNonLocal: /bar
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/localDeclarations.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/localDeclarations.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/localDeclarations.txt
index 2d5f0fc..3f5c9f3 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/localDeclarations.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/localDeclarations.txt
@@ -17,6 +17,7 @@
   annotationsList: []
   callableIdIfNonLocal: null
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -66,6 +67,7 @@
   annotationsList: []
   callableIdIfNonLocal: /yyy
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/memberFunctions.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/memberFunctions.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/memberFunctions.txt
index e054631..4d83bca 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/memberFunctions.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/memberFunctions.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: /A.x
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -29,6 +30,7 @@
   annotationsList: []
   callableIdIfNonLocal: /A.y
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/outerAndInnerClasses.descriptors.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/outerAndInnerClasses.descriptors.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/outerAndInnerClasses.descriptors.txt
index bbbbdec..18e42f4 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/outerAndInnerClasses.descriptors.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/outerAndInnerClasses.descriptors.txt
@@ -381,6 +381,7 @@
   annotationsList: []
   callableIdIfNonLocal: null
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -460,6 +461,7 @@
   annotationsList: []
   callableIdIfNonLocal: /X.foo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/outerAndInnerClasses.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/outerAndInnerClasses.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/outerAndInnerClasses.txt
index 1a224c6..3d765ab 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/outerAndInnerClasses.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/outerAndInnerClasses.txt
@@ -381,6 +381,7 @@
   annotationsList: []
   callableIdIfNonLocal: null
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -460,6 +461,7 @@
   annotationsList: []
   callableIdIfNonLocal: /X.foo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/outerAndInnerTypeAlias.descriptors.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/outerAndInnerTypeAlias.descriptors.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/outerAndInnerTypeAlias.descriptors.txt
index 1c1ece5..f96548b 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/outerAndInnerTypeAlias.descriptors.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/outerAndInnerTypeAlias.descriptors.txt
@@ -110,6 +110,7 @@
   annotationsList: []
   callableIdIfNonLocal: null
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -160,6 +161,7 @@
   annotationsList: []
   callableIdIfNonLocal: null
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -210,6 +212,7 @@
   annotationsList: []
   callableIdIfNonLocal: /A.check
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/outerAndInnerTypeAlias.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/outerAndInnerTypeAlias.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/outerAndInnerTypeAlias.txt
index 20b5aa3..5457d51 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/outerAndInnerTypeAlias.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/outerAndInnerTypeAlias.txt
@@ -110,6 +110,7 @@
   annotationsList: []
   callableIdIfNonLocal: null
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -160,6 +161,7 @@
   annotationsList: []
   callableIdIfNonLocal: null
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -210,6 +212,7 @@
   annotationsList: []
   callableIdIfNonLocal: /A.check
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/similarGenericSignature.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/similarGenericSignature.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/similarGenericSignature.txt
index b79113d..f4d3122 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/similarGenericSignature.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/similarGenericSignature.txt
@@ -38,6 +38,7 @@
   annotationsList: []
   callableIdIfNonLocal: /foo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -97,6 +98,7 @@
   annotationsList: []
   callableIdIfNonLocal: /foo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/topLevelFunctions.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/topLevelFunctions.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/topLevelFunctions.txt
index fd211356..1cfd2df 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/topLevelFunctions.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/topLevelFunctions.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: /x
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -28,6 +29,7 @@
   annotationsList: []
   callableIdIfNonLocal: /y
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/typeAnnotations.descriptors.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/typeAnnotations.descriptors.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/typeAnnotations.descriptors.txt
index d67d7114..b371309 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/typeAnnotations.descriptors.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/typeAnnotations.descriptors.txt
@@ -129,6 +129,7 @@
   annotationsList: []
   callableIdIfNonLocal: /X.f
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/typeAnnotations.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/typeAnnotations.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/typeAnnotations.txt
index b4f9442..9bbac9d 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/typeAnnotations.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/typeAnnotations.txt
@@ -129,6 +129,7 @@
   annotationsList: []
   callableIdIfNonLocal: /X.f
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/typeParameters.descriptors.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/typeParameters.descriptors.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/typeParameters.descriptors.txt
index f771d4c..a47f83b 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/typeParameters.descriptors.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/typeParameters.descriptors.txt
@@ -28,6 +28,7 @@
   annotationsList: []
   callableIdIfNonLocal: /f
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/typeParameters.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/typeParameters.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/typeParameters.txt
index b4c6aa2..9d31408 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/typeParameters.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/typeParameters.txt
@@ -30,6 +30,7 @@
   annotationsList: []
   callableIdIfNonLocal: /f
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/valueParameters/parameterInlining.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/valueParameters/parameterInlining.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/valueParameters/parameterInlining.txt
index 2cb5b21..0b26085 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/valueParameters/parameterInlining.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/valueParameters/parameterInlining.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: /foo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByPsi/varargFunctions.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByPsi/varargFunctions.txt b/analysis/analysis-api/testData/symbols/symbolByPsi/varargFunctions.txt
index ad82801..e5bbf3d 100644
--- a/analysis/analysis-api/testData/symbols/symbolByPsi/varargFunctions.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByPsi/varargFunctions.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: /primitive
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -48,6 +49,7 @@
   annotationsList: []
   callableIdIfNonLocal: /nullablePrimitive
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -94,6 +96,7 @@
   annotationsList: []
   callableIdIfNonLocal: /nonPrimitive
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false
@@ -140,6 +143,7 @@
   annotationsList: []
   callableIdIfNonLocal: /error
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByReference/functionReceiverParameter.descriptors.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByReference/functionReceiverParameter.descriptors.txt b/analysis/analysis-api/testData/symbols/symbolByReference/functionReceiverParameter.descriptors.txt
index 22ac533..4855f8c 100644
--- a/analysis/analysis-api/testData/symbols/symbolByReference/functionReceiverParameter.descriptors.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByReference/functionReceiverParameter.descriptors.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: /foo
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: true

analysis/analysis-api/testData/symbols/symbolByReference/genericFromFunctionInLocalClass.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByReference/genericFromFunctionInLocalClass.txt b/analysis/analysis-api/testData/symbols/symbolByReference/genericFromFunctionInLocalClass.txt
index ca4ee2e..b1c1290 100644
--- a/analysis/analysis-api/testData/symbols/symbolByReference/genericFromFunctionInLocalClass.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByReference/genericFromFunctionInLocalClass.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: null
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByReference/genericFromOuterClassInInnerClass.descriptors.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByReference/genericFromOuterClassInInnerClass.descriptors.txt b/analysis/analysis-api/testData/symbols/symbolByReference/genericFromOuterClassInInnerClass.descriptors.txt
index 98f54ed..44fcf1d 100644
--- a/analysis/analysis-api/testData/symbols/symbolByReference/genericFromOuterClassInInnerClass.descriptors.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByReference/genericFromOuterClassInInnerClass.descriptors.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: test/TopLevel.Base.withOuter
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false

analysis/analysis-api/testData/symbols/symbolByReference/genericFromOuterClassInInnerClass.txt

diff --git a/analysis/analysis-api/testData/symbols/symbolByReference/genericFromOuterClassInInnerClass.txt b/analysis/analysis-api/testData/symbols/symbolByReference/genericFromOuterClassInInnerClass.txt
index 586ede5..17a7b93 100644
--- a/analysis/analysis-api/testData/symbols/symbolByReference/genericFromOuterClassInInnerClass.txt
+++ b/analysis/analysis-api/testData/symbols/symbolByReference/genericFromOuterClassInInnerClass.txt
@@ -2,6 +2,7 @@
   annotationsList: []
   callableIdIfNonLocal: test/TopLevel.Base.withOuter
   contextReceivers: []
+  contractEffects: []
   hasStableParameterNames: true
   isBuiltinFunctionInvoke: false
   isExtension: false