digraph flowFromInplaceLambda_kt { graph [nodesep=3] node [shape=box penwidth=2] edge [penwidth=2] subgraph cluster_0 { color=red 0 [label="Enter file flowFromInplaceLambda.kt" style="filled" fillcolor=red]; 1 [label="Exit file flowFromInplaceLambda.kt" style="filled" fillcolor=red]; } 0 -> {1} [color=green]; subgraph cluster_1 { color=red 2 [label="Enter function unknown" style="filled" fillcolor=red]; subgraph cluster_2 { color=blue 3 [label="Enter block"]; subgraph cluster_3 { color=blue 4 [label="Enter block"]; 5 [label="Exit block"]; } subgraph cluster_4 { color=blue 6 [label="Function call arguments enter"]; 7 [label="Function call arguments exit"]; } 8 [label="Function call: R|/x|.R|SubstitutionOverride|()" style="filled" fillcolor=yellow]; 9 [label="Jump: ^unknown R|/x|.R|SubstitutionOverride|()"]; 10 [label="Stub" style="filled" fillcolor=gray]; 11 [label="Exit block" style="filled" fillcolor=gray]; } 12 [label="Exit function unknown" style="filled" fillcolor=red]; } 2 -> {3}; 3 -> {4}; 4 -> {5}; 5 -> {6}; 6 -> {7}; 7 -> {8}; 8 -> {9}; 9 -> {12}; 9 -> {10} [style=dotted]; 10 -> {11} [style=dotted]; 11 -> {12} [style=dotted]; subgraph cluster_5 { color=red 13 [label="Enter function atLeastOnce" style="filled" fillcolor=red]; subgraph cluster_6 { color=blue 14 [label="Enter block"]; subgraph cluster_7 { color=blue 15 [label="Enter block"]; 16 [label="Exit block"]; } subgraph cluster_8 { color=blue 17 [label="Function call arguments enter"]; 18 [label="Function call arguments exit"]; } 19 [label="Function call: R|/x|.R|SubstitutionOverride|()" style="filled" fillcolor=yellow]; 20 [label="Jump: ^atLeastOnce R|/x|.R|SubstitutionOverride|()"]; 21 [label="Stub" style="filled" fillcolor=gray]; 22 [label="Exit block" style="filled" fillcolor=gray]; } 23 [label="Exit function atLeastOnce" style="filled" fillcolor=red]; } 13 -> {14}; 14 -> {15}; 15 -> {16}; 16 -> {17}; 17 -> {18}; 18 -> {19}; 19 -> {20}; 20 -> {23}; 20 -> {21} [style=dotted]; 21 -> {22} [style=dotted]; 22 -> {23} [style=dotted]; subgraph cluster_9 { color=red 24 [label="Enter function exactlyOnce" style="filled" fillcolor=red]; subgraph cluster_10 { color=blue 25 [label="Enter block"]; subgraph cluster_11 { color=blue 26 [label="Enter block"]; 27 [label="Exit block"]; } subgraph cluster_12 { color=blue 28 [label="Function call arguments enter"]; 29 [label="Function call arguments exit"]; } 30 [label="Function call: R|/x|.R|SubstitutionOverride|()" style="filled" fillcolor=yellow]; 31 [label="Jump: ^exactlyOnce R|/x|.R|SubstitutionOverride|()"]; 32 [label="Stub" style="filled" fillcolor=gray]; 33 [label="Exit block" style="filled" fillcolor=gray]; } 34 [label="Exit function exactlyOnce" style="filled" fillcolor=red]; } 24 -> {25}; 25 -> {26}; 26 -> {27}; 27 -> {28}; 28 -> {29}; 29 -> {30}; 30 -> {31}; 31 -> {34}; 31 -> {32} [style=dotted]; 32 -> {33} [style=dotted]; 33 -> {34} [style=dotted]; subgraph cluster_13 { color=red 35 [label="Enter function atMostOnce" style="filled" fillcolor=red]; subgraph cluster_14 { color=blue 36 [label="Enter block"]; subgraph cluster_15 { color=blue 37 [label="Enter block"]; 38 [label="Exit block"]; } subgraph cluster_16 { color=blue 39 [label="Function call arguments enter"]; 40 [label="Function call arguments exit"]; } 41 [label="Function call: R|/x|.R|SubstitutionOverride|()" style="filled" fillcolor=yellow]; 42 [label="Jump: ^atMostOnce R|/x|.R|SubstitutionOverride|()"]; 43 [label="Stub" style="filled" fillcolor=gray]; 44 [label="Exit block" style="filled" fillcolor=gray]; } 45 [label="Exit function atMostOnce" style="filled" fillcolor=red]; } 35 -> {36}; 36 -> {37}; 37 -> {38}; 38 -> {39}; 39 -> {40}; 40 -> {41}; 41 -> {42}; 42 -> {45}; 42 -> {43} [style=dotted]; 43 -> {44} [style=dotted]; 44 -> {45} [style=dotted]; subgraph cluster_17 { color=red 46 [label="Enter function noContract" style="filled" fillcolor=red]; subgraph cluster_18 { color=blue 47 [label="Enter block"]; subgraph cluster_19 { color=blue 48 [label="Function call arguments enter"]; 49 [label="Function call arguments exit"]; } 50 [label="Function call: R|/x|.R|SubstitutionOverride|()" style="filled" fillcolor=yellow]; 51 [label="Jump: ^noContract R|/x|.R|SubstitutionOverride|()"]; 52 [label="Stub" style="filled" fillcolor=gray]; 53 [label="Exit block" style="filled" fillcolor=gray]; } 54 [label="Exit function noContract" style="filled" fillcolor=red]; } 46 -> {47}; 47 -> {48}; 48 -> {49}; 49 -> {50}; 50 -> {51}; 51 -> {54}; 51 -> {52} [style=dotted]; 52 -> {53} [style=dotted]; 53 -> {54} [style=dotted]; subgraph cluster_20 { color=red 55 [label="Enter function select" style="filled" fillcolor=red]; subgraph cluster_21 { color=blue 56 [label="Enter block"]; subgraph cluster_22 { color=blue 57 [label="Function call arguments enter"]; 58 [label="Access variable R|/x|"]; 59 [label="Const: Int(0)"]; 60 [label="Function call arguments exit"]; } 61 [label="Function call: R|/x|.R|SubstitutionOverride|(...)" style="filled" fillcolor=yellow]; 62 [label="Jump: ^select R|/x|.R|SubstitutionOverride|(Int(0))"]; 63 [label="Stub" style="filled" fillcolor=gray]; 64 [label="Exit block" style="filled" fillcolor=gray]; } 65 [label="Exit function select" style="filled" fillcolor=red]; } 55 -> {56}; 56 -> {57}; 57 -> {58}; 58 -> {59}; 59 -> {60}; 60 -> {61}; 61 -> {62}; 62 -> {65}; 62 -> {63} [style=dotted]; 63 -> {64} [style=dotted]; 64 -> {65} [style=dotted]; subgraph cluster_23 { color=red 66 [label="Enter function id" style="filled" fillcolor=red]; subgraph cluster_24 { color=blue 67 [label="Enter block"]; 68 [label="Access variable R|/x|"]; 69 [label="Jump: ^id R|/x|"]; 70 [label="Stub" style="filled" fillcolor=gray]; 71 [label="Exit block" style="filled" fillcolor=gray]; } 72 [label="Exit function id" style="filled" fillcolor=red]; } 66 -> {67}; 67 -> {68}; 68 -> {69}; 69 -> {72}; 69 -> {70} [style=dotted]; 70 -> {71} [style=dotted]; 71 -> {72} [style=dotted]; subgraph cluster_25 { color=red 73 [label="Enter function materialize" style="filled" fillcolor=red]; subgraph cluster_26 { color=blue 74 [label="Enter block"]; 75 [label="Const: Null(null)"]; 76 [label="Check not null: Null(null)!!" style="filled" fillcolor=yellow]; 77 [label="Stub" style="filled" fillcolor=gray]; 78 [label="Jump: ^materialize Null(null)!!" style="filled" fillcolor=gray]; 79 [label="Stub" style="filled" fillcolor=gray]; 80 [label="Exit block" style="filled" fillcolor=gray]; } 81 [label="Exit function materialize" style="filled" fillcolor=gray]; } 73 -> {74}; 74 -> {75}; 75 -> {76}; 76 -> {77} [style=dotted]; 77 -> {78} [style=dotted]; 78 -> {79 81} [style=dotted]; 79 -> {80} [style=dotted]; 80 -> {81} [style=dotted]; subgraph cluster_27 { color=red 82 [label="Enter function basic" style="filled" fillcolor=red]; subgraph cluster_28 { color=blue 83 [label="Enter block"]; subgraph cluster_29 { color=blue 84 [label="Function call arguments enter"]; 85 [label="Postponed enter to lambda"]; subgraph cluster_30 { color=blue 86 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_31 { color=blue 87 [label="Enter block"]; 88 [label="Access variable R|/x|"]; 89 [label="Type operator: (R|/x| as R|kotlin/Int|)"]; 90 [label="Exit block"]; } 91 [label="Exit function " style="filled" fillcolor=red]; } 92 [label="Function call arguments exit"]; } 93 [label="Postponed exit from lambda"]; 94 [label="Function call: R|/exactlyOnce|(...)" style="filled" fillcolor=yellow]; subgraph cluster_32 { color=blue 95 [label="Function call arguments enter"]; 96 [label="Access variable R|/x|"]; 97 [label="Function call arguments exit"]; } 98 [label="Function call: R|/x|.#()" style="filled" fillcolor=yellow]; 99 [label="Exit block"]; } 100 [label="Exit function basic" style="filled" fillcolor=red]; } 82 -> {83}; 83 -> {84}; 84 -> {85}; 85 -> {86 92}; 85 -> {93} [style=dotted]; 85 -> {86} [style=dashed]; 86 -> {87}; 87 -> {88}; 88 -> {89}; 89 -> {90}; 90 -> {91}; 91 -> {93}; 92 -> {94}; 93 -> {94} [label="Postponed"]; 94 -> {95}; 95 -> {96}; 96 -> {97}; 97 -> {98}; 98 -> {99}; 99 -> {100}; subgraph cluster_33 { color=red 101 [label="Enter function completedCallExactlyOnce" style="filled" fillcolor=red]; subgraph cluster_34 { color=blue 102 [label="Enter block"]; subgraph cluster_35 { color=blue 103 [label="Function call arguments enter"]; subgraph cluster_36 { color=blue 104 [label="Function call arguments enter"]; subgraph cluster_37 { color=blue 105 [label="Function call arguments enter"]; subgraph cluster_38 { color=blue 106 [label="Function call arguments enter"]; 107 [label="Postponed enter to lambda"]; subgraph cluster_39 { color=blue 108 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_40 { color=blue 109 [label="Enter block"]; subgraph cluster_41 { color=blue 110 [label="Function call arguments enter"]; 111 [label="Access variable R|/y|"]; 112 [label="Function call arguments exit"]; } 113 [label="Function call: R|/y|.#()" style="filled" fillcolor=yellow]; 114 [label="Access variable R|/x|"]; 115 [label="Type operator: (R|/x| as R|kotlin/Int|)"]; 116 [label="Exit block"]; } 117 [label="Exit function " style="filled" fillcolor=red]; } 118 [label="Function call arguments exit"]; } 119 [label="Postponed exit from lambda"]; 120 [label="Function call: R|/exactlyOnce|(...)" style="filled" fillcolor=yellow]; 121 [label="Function call arguments exit"]; } 122 [label="Function call: R|/id|(...)" style="filled" fillcolor=yellow]; 123 [label="Access variable R|/y|"]; 124 [label="Type operator: (R|/y| as R|kotlin/Int|)"]; subgraph cluster_42 { color=blue 125 [label="Function call arguments enter"]; 126 [label="Postponed enter to lambda"]; subgraph cluster_43 { color=blue 127 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_44 { color=blue 128 [label="Enter block"]; subgraph cluster_45 { color=blue 129 [label="Function call arguments enter"]; 130 [label="Access variable R|/x|"]; 131 [label="Function call arguments exit"]; } 132 [label="Function call: R|/x|.#()" style="filled" fillcolor=yellow]; subgraph cluster_46 { color=blue 133 [label="Function call arguments enter"]; 134 [label="Access variable R|/y|"]; 135 [label="Smart cast: R|/y|"]; 136 [label="Function call arguments exit"]; } 137 [label="Function call: R|/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; 138 [label="Const: Int(1)"]; 139 [label="Exit block"]; } 140 [label="Exit function " style="filled" fillcolor=red]; } 141 [label="Function call arguments exit"]; } 142 [label="Postponed exit from lambda"]; 143 [label="Function call: R|/exactlyOnce|(...)" style="filled" fillcolor=yellow]; 144 [label="Function call arguments exit"]; } 145 [label="Function call: R|/select|(...)" style="filled" fillcolor=yellow]; 146 [label="Function call arguments exit"]; } 147 [label="Function call: R|/select|(...).R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; subgraph cluster_47 { color=blue 148 [label="Function call arguments enter"]; 149 [label="Access variable R|/x|"]; 150 [label="Function call arguments exit"]; } 151 [label="Function call: R|/x|.#()" style="filled" fillcolor=yellow]; subgraph cluster_48 { color=blue 152 [label="Function call arguments enter"]; 153 [label="Access variable R|/y|"]; 154 [label="Smart cast: R|/y|"]; 155 [label="Function call arguments exit"]; } 156 [label="Function call: R|/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; 157 [label="Exit block"]; } 158 [label="Exit function completedCallExactlyOnce" style="filled" fillcolor=red]; } 101 -> {102}; 102 -> {103}; 103 -> {104}; 104 -> {105}; 105 -> {106}; 106 -> {107}; 107 -> {108 118}; 107 -> {119} [style=dotted]; 107 -> {108} [style=dashed]; 108 -> {109}; 109 -> {110}; 110 -> {111}; 111 -> {112}; 112 -> {113}; 113 -> {114}; 114 -> {115}; 115 -> {116}; 116 -> {117}; 117 -> {119}; 118 -> {120}; 119 -> {120} [color=green]; 119 -> {145} [color=red label="Postponed"]; 120 -> {121}; 121 -> {122}; 122 -> {123}; 123 -> {124}; 124 -> {125}; 125 -> {126}; 126 -> {127 141}; 126 -> {142} [style=dotted]; 126 -> {127} [style=dashed]; 127 -> {128}; 128 -> {129}; 129 -> {130}; 130 -> {131}; 131 -> {132}; 132 -> {133}; 133 -> {134}; 134 -> {135}; 135 -> {136}; 136 -> {137}; 137 -> {138}; 138 -> {139}; 139 -> {140}; 140 -> {142}; 141 -> {143}; 142 -> {143} [color=green]; 142 -> {145} [color=red label="Postponed"]; 143 -> {144}; 144 -> {145}; 145 -> {146}; 146 -> {147}; 147 -> {148}; 148 -> {149}; 149 -> {150}; 150 -> {151}; 151 -> {152}; 152 -> {153}; 153 -> {154}; 154 -> {155}; 155 -> {156}; 156 -> {157}; 157 -> {158}; subgraph cluster_49 { color=red 159 [label="Enter function completedCallAtLeastOnce" style="filled" fillcolor=red]; subgraph cluster_50 { color=blue 160 [label="Enter block"]; subgraph cluster_51 { color=blue 161 [label="Function call arguments enter"]; subgraph cluster_52 { color=blue 162 [label="Function call arguments enter"]; subgraph cluster_53 { color=blue 163 [label="Function call arguments enter"]; subgraph cluster_54 { color=blue 164 [label="Function call arguments enter"]; 165 [label="Postponed enter to lambda"]; subgraph cluster_55 { color=blue 166 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_56 { color=blue 167 [label="Enter block"]; subgraph cluster_57 { color=blue 168 [label="Function call arguments enter"]; 169 [label="Access variable R|/y|"]; 170 [label="Function call arguments exit"]; } 171 [label="Function call: R|/y|.#()" style="filled" fillcolor=yellow]; 172 [label="Access variable R|/x|"]; 173 [label="Type operator: (R|/x| as R|kotlin/Int|)"]; 174 [label="Exit block"]; } 175 [label="Exit function " style="filled" fillcolor=red]; } 176 [label="Function call arguments exit"]; } 177 [label="Postponed exit from lambda"]; 178 [label="Function call: R|/atLeastOnce|(...)" style="filled" fillcolor=yellow]; 179 [label="Function call arguments exit"]; } 180 [label="Function call: R|/id|(...)" style="filled" fillcolor=yellow]; 181 [label="Access variable R|/y|"]; 182 [label="Type operator: (R|/y| as R|kotlin/Int|)"]; subgraph cluster_58 { color=blue 183 [label="Function call arguments enter"]; 184 [label="Postponed enter to lambda"]; subgraph cluster_59 { color=blue 185 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_60 { color=blue 186 [label="Enter block"]; subgraph cluster_61 { color=blue 187 [label="Function call arguments enter"]; 188 [label="Access variable R|/x|"]; 189 [label="Function call arguments exit"]; } 190 [label="Function call: R|/x|.#()" style="filled" fillcolor=yellow]; subgraph cluster_62 { color=blue 191 [label="Function call arguments enter"]; 192 [label="Access variable R|/y|"]; 193 [label="Smart cast: R|/y|"]; 194 [label="Function call arguments exit"]; } 195 [label="Function call: R|/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; 196 [label="Const: Int(1)"]; 197 [label="Exit block"]; } 198 [label="Exit function " style="filled" fillcolor=red]; } 199 [label="Function call arguments exit"]; } 200 [label="Postponed exit from lambda"]; 201 [label="Function call: R|/atLeastOnce|(...)" style="filled" fillcolor=yellow]; 202 [label="Function call arguments exit"]; } 203 [label="Function call: R|/select|(...)" style="filled" fillcolor=yellow]; 204 [label="Function call arguments exit"]; } 205 [label="Function call: R|/select|(...).R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; subgraph cluster_63 { color=blue 206 [label="Function call arguments enter"]; 207 [label="Access variable R|/x|"]; 208 [label="Function call arguments exit"]; } 209 [label="Function call: R|/x|.#()" style="filled" fillcolor=yellow]; subgraph cluster_64 { color=blue 210 [label="Function call arguments enter"]; 211 [label="Access variable R|/y|"]; 212 [label="Smart cast: R|/y|"]; 213 [label="Function call arguments exit"]; } 214 [label="Function call: R|/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; 215 [label="Exit block"]; } 216 [label="Exit function completedCallAtLeastOnce" style="filled" fillcolor=red]; } 159 -> {160}; 160 -> {161}; 161 -> {162}; 162 -> {163}; 163 -> {164}; 164 -> {165}; 165 -> {166 176}; 165 -> {177} [style=dotted]; 165 -> {166} [style=dashed]; 166 -> {167}; 167 -> {168}; 168 -> {169}; 169 -> {170}; 170 -> {171}; 171 -> {172}; 172 -> {173}; 173 -> {174}; 174 -> {175}; 175 -> {177}; 176 -> {178}; 177 -> {165} [color=green style=dashed]; 177 -> {178} [color=green]; 177 -> {203} [color=red label="Postponed"]; 178 -> {179}; 179 -> {180}; 180 -> {181}; 181 -> {182}; 182 -> {183}; 183 -> {184}; 184 -> {185 199}; 184 -> {200} [style=dotted]; 184 -> {185} [style=dashed]; 185 -> {186}; 186 -> {187}; 187 -> {188}; 188 -> {189}; 189 -> {190}; 190 -> {191}; 191 -> {192}; 192 -> {193}; 193 -> {194}; 194 -> {195}; 195 -> {196}; 196 -> {197}; 197 -> {198}; 198 -> {200}; 199 -> {201}; 200 -> {184} [color=green style=dashed]; 200 -> {201} [color=green]; 200 -> {203} [color=red label="Postponed"]; 201 -> {202}; 202 -> {203}; 203 -> {204}; 204 -> {205}; 205 -> {206}; 206 -> {207}; 207 -> {208}; 208 -> {209}; 209 -> {210}; 210 -> {211}; 211 -> {212}; 212 -> {213}; 213 -> {214}; 214 -> {215}; 215 -> {216}; subgraph cluster_65 { color=red 217 [label="Enter function completedCallAtMostOnce" style="filled" fillcolor=red]; subgraph cluster_66 { color=blue 218 [label="Enter block"]; subgraph cluster_67 { color=blue 219 [label="Function call arguments enter"]; subgraph cluster_68 { color=blue 220 [label="Function call arguments enter"]; subgraph cluster_69 { color=blue 221 [label="Function call arguments enter"]; subgraph cluster_70 { color=blue 222 [label="Function call arguments enter"]; 223 [label="Postponed enter to lambda"]; subgraph cluster_71 { color=blue 224 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_72 { color=blue 225 [label="Enter block"]; subgraph cluster_73 { color=blue 226 [label="Function call arguments enter"]; 227 [label="Access variable R|/y|"]; 228 [label="Function call arguments exit"]; } 229 [label="Function call: R|/y|.#()" style="filled" fillcolor=yellow]; 230 [label="Access variable R|/x|"]; 231 [label="Type operator: (R|/x| as R|kotlin/Int|)"]; 232 [label="Exit block"]; } 233 [label="Exit function " style="filled" fillcolor=red]; } 234 [label="Function call arguments exit"]; } 235 [label="Postponed exit from lambda"]; 236 [label="Function call: R|/atMostOnce|(...)" style="filled" fillcolor=yellow]; 237 [label="Function call arguments exit"]; } 238 [label="Function call: R|/id|(...)" style="filled" fillcolor=yellow]; 239 [label="Access variable R|/y|"]; 240 [label="Type operator: (R|/y| as R|kotlin/Int|)"]; subgraph cluster_74 { color=blue 241 [label="Function call arguments enter"]; 242 [label="Postponed enter to lambda"]; subgraph cluster_75 { color=blue 243 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_76 { color=blue 244 [label="Enter block"]; subgraph cluster_77 { color=blue 245 [label="Function call arguments enter"]; 246 [label="Access variable R|/x|"]; 247 [label="Function call arguments exit"]; } 248 [label="Function call: R|/x|.#()" style="filled" fillcolor=yellow]; subgraph cluster_78 { color=blue 249 [label="Function call arguments enter"]; 250 [label="Access variable R|/y|"]; 251 [label="Smart cast: R|/y|"]; 252 [label="Function call arguments exit"]; } 253 [label="Function call: R|/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; 254 [label="Const: Int(1)"]; 255 [label="Exit block"]; } 256 [label="Exit function " style="filled" fillcolor=red]; } 257 [label="Function call arguments exit"]; } 258 [label="Postponed exit from lambda"]; 259 [label="Function call: R|/atMostOnce|(...)" style="filled" fillcolor=yellow]; 260 [label="Function call arguments exit"]; } 261 [label="Function call: R|/select|(...)" style="filled" fillcolor=yellow]; 262 [label="Function call arguments exit"]; } 263 [label="Function call: R|/select|(...).R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; subgraph cluster_79 { color=blue 264 [label="Function call arguments enter"]; 265 [label="Access variable R|/x|"]; 266 [label="Function call arguments exit"]; } 267 [label="Function call: R|/x|.#()" style="filled" fillcolor=yellow]; subgraph cluster_80 { color=blue 268 [label="Function call arguments enter"]; 269 [label="Access variable R|/y|"]; 270 [label="Smart cast: R|/y|"]; 271 [label="Function call arguments exit"]; } 272 [label="Function call: R|/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; 273 [label="Exit block"]; } 274 [label="Exit function completedCallAtMostOnce" style="filled" fillcolor=red]; } 217 -> {218}; 218 -> {219}; 219 -> {220}; 220 -> {221}; 221 -> {222}; 222 -> {223}; 223 -> {224 234 235}; 223 -> {224} [style=dashed]; 224 -> {225}; 225 -> {226}; 226 -> {227}; 227 -> {228}; 228 -> {229}; 229 -> {230}; 230 -> {231}; 231 -> {232}; 232 -> {233}; 233 -> {235}; 234 -> {236}; 235 -> {236} [color=green]; 235 -> {261} [color=red label="Postponed"]; 236 -> {237}; 237 -> {238}; 238 -> {239}; 239 -> {240}; 240 -> {241}; 241 -> {242}; 242 -> {243 257 258}; 242 -> {243} [style=dashed]; 243 -> {244}; 244 -> {245}; 245 -> {246}; 246 -> {247}; 247 -> {248}; 248 -> {249}; 249 -> {250}; 250 -> {251}; 251 -> {252}; 252 -> {253}; 253 -> {254}; 254 -> {255}; 255 -> {256}; 256 -> {258}; 257 -> {259}; 258 -> {259} [color=green]; 258 -> {261} [color=red label="Postponed"]; 259 -> {260}; 260 -> {261}; 261 -> {262}; 262 -> {263}; 263 -> {264}; 264 -> {265}; 265 -> {266}; 266 -> {267}; 267 -> {268}; 268 -> {269}; 269 -> {270}; 270 -> {271}; 271 -> {272}; 272 -> {273}; 273 -> {274}; subgraph cluster_81 { color=red 275 [label="Enter function completedCallUnknown" style="filled" fillcolor=red]; subgraph cluster_82 { color=blue 276 [label="Enter block"]; subgraph cluster_83 { color=blue 277 [label="Function call arguments enter"]; subgraph cluster_84 { color=blue 278 [label="Function call arguments enter"]; subgraph cluster_85 { color=blue 279 [label="Function call arguments enter"]; subgraph cluster_86 { color=blue 280 [label="Function call arguments enter"]; 281 [label="Postponed enter to lambda"]; subgraph cluster_87 { color=blue 282 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_88 { color=blue 283 [label="Enter block"]; subgraph cluster_89 { color=blue 284 [label="Function call arguments enter"]; 285 [label="Access variable R|/y|"]; 286 [label="Function call arguments exit"]; } 287 [label="Function call: R|/y|.#()" style="filled" fillcolor=yellow]; 288 [label="Access variable R|/x|"]; 289 [label="Type operator: (R|/x| as R|kotlin/Int|)"]; 290 [label="Exit block"]; } 291 [label="Exit function " style="filled" fillcolor=red]; } 292 [label="Function call arguments exit"]; } 293 [label="Postponed exit from lambda"]; 294 [label="Function call: R|/unknown|(...)" style="filled" fillcolor=yellow]; 295 [label="Function call arguments exit"]; } 296 [label="Function call: R|/id|(...)" style="filled" fillcolor=yellow]; 297 [label="Access variable R|/y|"]; 298 [label="Type operator: (R|/y| as R|kotlin/Int|)"]; subgraph cluster_90 { color=blue 299 [label="Function call arguments enter"]; 300 [label="Postponed enter to lambda"]; subgraph cluster_91 { color=blue 301 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_92 { color=blue 302 [label="Enter block"]; subgraph cluster_93 { color=blue 303 [label="Function call arguments enter"]; 304 [label="Access variable R|/x|"]; 305 [label="Function call arguments exit"]; } 306 [label="Function call: R|/x|.#()" style="filled" fillcolor=yellow]; subgraph cluster_94 { color=blue 307 [label="Function call arguments enter"]; 308 [label="Access variable R|/y|"]; 309 [label="Smart cast: R|/y|"]; 310 [label="Function call arguments exit"]; } 311 [label="Function call: R|/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; 312 [label="Const: Int(1)"]; 313 [label="Exit block"]; } 314 [label="Exit function " style="filled" fillcolor=red]; } 315 [label="Function call arguments exit"]; } 316 [label="Postponed exit from lambda"]; 317 [label="Function call: R|/unknown|(...)" style="filled" fillcolor=yellow]; 318 [label="Function call arguments exit"]; } 319 [label="Function call: R|/select|(...)" style="filled" fillcolor=yellow]; 320 [label="Function call arguments exit"]; } 321 [label="Function call: R|/select|(...).R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; subgraph cluster_95 { color=blue 322 [label="Function call arguments enter"]; 323 [label="Access variable R|/x|"]; 324 [label="Function call arguments exit"]; } 325 [label="Function call: R|/x|.#()" style="filled" fillcolor=yellow]; subgraph cluster_96 { color=blue 326 [label="Function call arguments enter"]; 327 [label="Access variable R|/y|"]; 328 [label="Smart cast: R|/y|"]; 329 [label="Function call arguments exit"]; } 330 [label="Function call: R|/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; 331 [label="Exit block"]; } 332 [label="Exit function completedCallUnknown" style="filled" fillcolor=red]; } 275 -> {276}; 276 -> {277}; 277 -> {278}; 278 -> {279}; 279 -> {280}; 280 -> {281}; 281 -> {282 292 293}; 281 -> {282} [style=dashed]; 282 -> {283}; 283 -> {284}; 284 -> {285}; 285 -> {286}; 286 -> {287}; 287 -> {288}; 288 -> {289}; 289 -> {290}; 290 -> {291}; 291 -> {293}; 292 -> {294}; 293 -> {281} [color=green style=dashed]; 293 -> {294} [color=green]; 293 -> {319} [color=red label="Postponed"]; 294 -> {295}; 295 -> {296}; 296 -> {297}; 297 -> {298}; 298 -> {299}; 299 -> {300}; 300 -> {301 315 316}; 300 -> {301} [style=dashed]; 301 -> {302}; 302 -> {303}; 303 -> {304}; 304 -> {305}; 305 -> {306}; 306 -> {307}; 307 -> {308}; 308 -> {309}; 309 -> {310}; 310 -> {311}; 311 -> {312}; 312 -> {313}; 313 -> {314}; 314 -> {316}; 315 -> {317}; 316 -> {300} [color=green style=dashed]; 316 -> {317} [color=green]; 316 -> {319} [color=red label="Postponed"]; 317 -> {318}; 318 -> {319}; 319 -> {320}; 320 -> {321}; 321 -> {322}; 322 -> {323}; 323 -> {324}; 324 -> {325}; 325 -> {326}; 326 -> {327}; 327 -> {328}; 328 -> {329}; 329 -> {330}; 330 -> {331}; 331 -> {332}; subgraph cluster_97 { color=red 333 [label="Enter function completedCallNoContract" style="filled" fillcolor=red]; subgraph cluster_98 { color=blue 334 [label="Enter block"]; subgraph cluster_99 { color=blue 335 [label="Function call arguments enter"]; subgraph cluster_100 { color=blue 336 [label="Function call arguments enter"]; subgraph cluster_101 { color=blue 337 [label="Function call arguments enter"]; subgraph cluster_102 { color=blue 338 [label="Function call arguments enter"]; 339 [label="Postponed enter to lambda"]; subgraph cluster_103 { color=blue 340 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_104 { color=blue 341 [label="Enter block"]; subgraph cluster_105 { color=blue 342 [label="Function call arguments enter"]; 343 [label="Access variable R|/y|"]; 344 [label="Function call arguments exit"]; } 345 [label="Function call: R|/y|.#()" style="filled" fillcolor=yellow]; 346 [label="Access variable R|/x|"]; 347 [label="Type operator: (R|/x| as R|kotlin/Int|)"]; 348 [label="Exit block"]; } 349 [label="Exit function " style="filled" fillcolor=red]; } 350 [label="Function call arguments exit"]; } 351 [label="Postponed exit from lambda"]; 352 [label="Function call: R|/noContract|(...)" style="filled" fillcolor=yellow]; 353 [label="Function call arguments exit"]; } 354 [label="Function call: R|/id|(...)" style="filled" fillcolor=yellow]; 355 [label="Access variable R|/y|"]; 356 [label="Type operator: (R|/y| as R|kotlin/Int|)"]; subgraph cluster_106 { color=blue 357 [label="Function call arguments enter"]; 358 [label="Postponed enter to lambda"]; subgraph cluster_107 { color=blue 359 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_108 { color=blue 360 [label="Enter block"]; subgraph cluster_109 { color=blue 361 [label="Function call arguments enter"]; 362 [label="Access variable R|/x|"]; 363 [label="Function call arguments exit"]; } 364 [label="Function call: R|/x|.#()" style="filled" fillcolor=yellow]; subgraph cluster_110 { color=blue 365 [label="Function call arguments enter"]; 366 [label="Access variable R|/y|"]; 367 [label="Smart cast: R|/y|"]; 368 [label="Function call arguments exit"]; } 369 [label="Function call: R|/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; 370 [label="Const: Int(1)"]; 371 [label="Exit block"]; } 372 [label="Exit function " style="filled" fillcolor=red]; } 373 [label="Function call arguments exit"]; } 374 [label="Postponed exit from lambda"]; 375 [label="Function call: R|/noContract|(...)" style="filled" fillcolor=yellow]; 376 [label="Function call arguments exit"]; } 377 [label="Function call: R|/select|(...)" style="filled" fillcolor=yellow]; 378 [label="Function call arguments exit"]; } 379 [label="Function call: R|/select|(...).R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; subgraph cluster_111 { color=blue 380 [label="Function call arguments enter"]; 381 [label="Access variable R|/x|"]; 382 [label="Function call arguments exit"]; } 383 [label="Function call: R|/x|.#()" style="filled" fillcolor=yellow]; subgraph cluster_112 { color=blue 384 [label="Function call arguments enter"]; 385 [label="Access variable R|/y|"]; 386 [label="Smart cast: R|/y|"]; 387 [label="Function call arguments exit"]; } 388 [label="Function call: R|/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; 389 [label="Exit block"]; } 390 [label="Exit function completedCallNoContract" style="filled" fillcolor=red]; } 333 -> {334}; 334 -> {335}; 335 -> {336}; 336 -> {337}; 337 -> {338}; 338 -> {339}; 339 -> {340 350 351}; 339 -> {340} [style=dashed]; 340 -> {341}; 341 -> {342}; 342 -> {343}; 343 -> {344}; 344 -> {345}; 345 -> {346}; 346 -> {347}; 347 -> {348}; 348 -> {349}; 350 -> {352}; 351 -> {352} [color=green]; 351 -> {377} [color=red label="Postponed"]; 352 -> {353}; 353 -> {354}; 354 -> {355}; 355 -> {356}; 356 -> {357}; 357 -> {358}; 358 -> {359 373 374}; 358 -> {359} [style=dashed]; 359 -> {360}; 360 -> {361}; 361 -> {362}; 362 -> {363}; 363 -> {364}; 364 -> {365}; 365 -> {366}; 366 -> {367}; 367 -> {368}; 368 -> {369}; 369 -> {370}; 370 -> {371}; 371 -> {372}; 373 -> {375}; 374 -> {375} [color=green]; 374 -> {377} [color=red label="Postponed"]; 375 -> {376}; 376 -> {377}; 377 -> {378}; 378 -> {379}; 379 -> {380}; 380 -> {381}; 381 -> {382}; 382 -> {383}; 383 -> {384}; 384 -> {385}; 385 -> {386}; 386 -> {387}; 387 -> {388}; 388 -> {389}; 389 -> {390}; subgraph cluster_113 { color=red 391 [label="Enter function incompleteCallExactlyOnce" style="filled" fillcolor=red]; subgraph cluster_114 { color=blue 392 [label="Enter block"]; subgraph cluster_115 { color=blue 393 [label="Function call arguments enter"]; subgraph cluster_116 { color=blue 394 [label="Function call arguments enter"]; subgraph cluster_117 { color=blue 395 [label="Function call arguments enter"]; subgraph cluster_118 { color=blue 396 [label="Function call arguments enter"]; 397 [label="Postponed enter to lambda"]; subgraph cluster_119 { color=blue 398 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_120 { color=blue 399 [label="Enter block"]; 400 [label="Access variable R|/x|"]; 401 [label="Type operator: (R|/x| as R|kotlin/Int|)"]; subgraph cluster_121 { color=blue 402 [label="Function call arguments enter"]; 403 [label="Access variable R|/y|"]; 404 [label="Function call arguments exit"]; } 405 [label="Function call: R|/y|.#()" style="filled" fillcolor=yellow]; subgraph cluster_122 { color=blue 406 [label="Function call arguments enter"]; 407 [label="Access variable R|/x|"]; 408 [label="Smart cast: R|/x|"]; 409 [label="Function call arguments exit"]; } 410 [label="Function call: R|/x|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; subgraph cluster_123 { color=blue 411 [label="Function call arguments enter"]; 412 [label="Function call arguments exit"]; } 413 [label="Function call: R|/materialize|()" style="filled" fillcolor=yellow]; 414 [label="Exit block"]; } 415 [label="Exit function " style="filled" fillcolor=red]; } 416 [label="Function call arguments exit"]; } 417 [label="Postponed exit from lambda"]; 418 [label="Function call: R|/exactlyOnce|(...)" style="filled" fillcolor=yellow]; 419 [label="Function call arguments exit"]; } 420 [label="Function call: R|/id|(...)" style="filled" fillcolor=yellow]; subgraph cluster_124 { color=blue 421 [label="Function call arguments enter"]; 422 [label="Postponed enter to lambda"]; subgraph cluster_125 { color=blue 423 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_126 { color=blue 424 [label="Enter block"]; 425 [label="Access variable R|/y|"]; 426 [label="Type operator: (R|/y| as R|kotlin/Int|)"]; subgraph cluster_127 { color=blue 427 [label="Function call arguments enter"]; 428 [label="Access variable R|/x|"]; 429 [label="Function call arguments exit"]; } 430 [label="Function call: R|/x|.#()" style="filled" fillcolor=yellow]; subgraph cluster_128 { color=blue 431 [label="Function call arguments enter"]; 432 [label="Access variable R|/y|"]; 433 [label="Smart cast: R|/y|"]; 434 [label="Function call arguments exit"]; } 435 [label="Function call: R|/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; 436 [label="Const: Int(1)"]; 437 [label="Exit block"]; } 438 [label="Exit function " style="filled" fillcolor=red]; } 439 [label="Function call arguments exit"]; } 440 [label="Postponed exit from lambda"]; 441 [label="Function call: R|/exactlyOnce|(...)" style="filled" fillcolor=yellow]; 442 [label="Function call arguments exit"]; } 443 [label="Function call: R|/select|(...)" style="filled" fillcolor=yellow]; 444 [label="Function call arguments exit"]; } 445 [label="Function call: R|/select|(...).R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; subgraph cluster_129 { color=blue 446 [label="Function call arguments enter"]; 447 [label="Access variable R|/x|"]; 448 [label="Function call arguments exit"]; } 449 [label="Function call: R|/x|.#()" style="filled" fillcolor=yellow]; subgraph cluster_130 { color=blue 450 [label="Function call arguments enter"]; 451 [label="Access variable R|/y|"]; 452 [label="Function call arguments exit"]; } 453 [label="Function call: R|/y|.#()" style="filled" fillcolor=yellow]; 454 [label="Exit block"]; } 455 [label="Exit function incompleteCallExactlyOnce" style="filled" fillcolor=red]; } 391 -> {392}; 392 -> {393}; 393 -> {394}; 394 -> {395}; 395 -> {396}; 396 -> {397}; 397 -> {398 416}; 397 -> {417} [style=dotted]; 397 -> {398} [style=dashed]; 398 -> {399}; 399 -> {400}; 400 -> {401}; 401 -> {402}; 402 -> {403}; 403 -> {404}; 404 -> {405}; 405 -> {406}; 406 -> {407}; 407 -> {408}; 408 -> {409}; 409 -> {410}; 410 -> {411}; 411 -> {412}; 412 -> {413}; 413 -> {414}; 414 -> {415}; 415 -> {417}; 416 -> {418}; 417 -> {418} [color=green]; 417 -> {443} [color=red label="Postponed"]; 418 -> {419}; 419 -> {420}; 420 -> {421}; 421 -> {422}; 422 -> {423 439}; 422 -> {440} [style=dotted]; 422 -> {423} [style=dashed]; 423 -> {424}; 424 -> {425}; 425 -> {426}; 426 -> {427}; 427 -> {428}; 428 -> {429}; 429 -> {430}; 430 -> {431}; 431 -> {432}; 432 -> {433}; 433 -> {434}; 434 -> {435}; 435 -> {436}; 436 -> {437}; 437 -> {438}; 438 -> {440}; 439 -> {441}; 440 -> {441} [color=green]; 440 -> {443} [color=red label="Postponed"]; 441 -> {442}; 442 -> {443}; 443 -> {444}; 444 -> {445}; 445 -> {446}; 446 -> {447}; 447 -> {448}; 448 -> {449}; 449 -> {450}; 450 -> {451}; 451 -> {452}; 452 -> {453}; 453 -> {454}; 454 -> {455}; subgraph cluster_131 { color=red 456 [label="Enter function incompleteCallAtLeastOnce" style="filled" fillcolor=red]; subgraph cluster_132 { color=blue 457 [label="Enter block"]; subgraph cluster_133 { color=blue 458 [label="Function call arguments enter"]; subgraph cluster_134 { color=blue 459 [label="Function call arguments enter"]; subgraph cluster_135 { color=blue 460 [label="Function call arguments enter"]; subgraph cluster_136 { color=blue 461 [label="Function call arguments enter"]; 462 [label="Postponed enter to lambda"]; subgraph cluster_137 { color=blue 463 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_138 { color=blue 464 [label="Enter block"]; 465 [label="Access variable R|/x|"]; 466 [label="Type operator: (R|/x| as R|kotlin/Int|)"]; subgraph cluster_139 { color=blue 467 [label="Function call arguments enter"]; 468 [label="Access variable R|/y|"]; 469 [label="Function call arguments exit"]; } 470 [label="Function call: R|/y|.#()" style="filled" fillcolor=yellow]; subgraph cluster_140 { color=blue 471 [label="Function call arguments enter"]; 472 [label="Access variable R|/x|"]; 473 [label="Smart cast: R|/x|"]; 474 [label="Function call arguments exit"]; } 475 [label="Function call: R|/x|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; subgraph cluster_141 { color=blue 476 [label="Function call arguments enter"]; 477 [label="Function call arguments exit"]; } 478 [label="Function call: R|/materialize|()" style="filled" fillcolor=yellow]; 479 [label="Exit block"]; } 480 [label="Exit function " style="filled" fillcolor=red]; } 481 [label="Function call arguments exit"]; } 482 [label="Postponed exit from lambda"]; 483 [label="Function call: R|/atLeastOnce|(...)" style="filled" fillcolor=yellow]; 484 [label="Function call arguments exit"]; } 485 [label="Function call: R|/id|(...)" style="filled" fillcolor=yellow]; subgraph cluster_142 { color=blue 486 [label="Function call arguments enter"]; 487 [label="Postponed enter to lambda"]; subgraph cluster_143 { color=blue 488 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_144 { color=blue 489 [label="Enter block"]; 490 [label="Access variable R|/y|"]; 491 [label="Type operator: (R|/y| as R|kotlin/Int|)"]; subgraph cluster_145 { color=blue 492 [label="Function call arguments enter"]; 493 [label="Access variable R|/x|"]; 494 [label="Function call arguments exit"]; } 495 [label="Function call: R|/x|.#()" style="filled" fillcolor=yellow]; subgraph cluster_146 { color=blue 496 [label="Function call arguments enter"]; 497 [label="Access variable R|/y|"]; 498 [label="Smart cast: R|/y|"]; 499 [label="Function call arguments exit"]; } 500 [label="Function call: R|/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; 501 [label="Const: Int(1)"]; 502 [label="Exit block"]; } 503 [label="Exit function " style="filled" fillcolor=red]; } 504 [label="Function call arguments exit"]; } 505 [label="Postponed exit from lambda"]; 506 [label="Function call: R|/atLeastOnce|(...)" style="filled" fillcolor=yellow]; 507 [label="Function call arguments exit"]; } 508 [label="Function call: R|/select|(...)" style="filled" fillcolor=yellow]; 509 [label="Function call arguments exit"]; } 510 [label="Function call: R|/select|(...).R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; subgraph cluster_147 { color=blue 511 [label="Function call arguments enter"]; 512 [label="Access variable R|/x|"]; 513 [label="Function call arguments exit"]; } 514 [label="Function call: R|/x|.#()" style="filled" fillcolor=yellow]; subgraph cluster_148 { color=blue 515 [label="Function call arguments enter"]; 516 [label="Access variable R|/y|"]; 517 [label="Function call arguments exit"]; } 518 [label="Function call: R|/y|.#()" style="filled" fillcolor=yellow]; 519 [label="Exit block"]; } 520 [label="Exit function incompleteCallAtLeastOnce" style="filled" fillcolor=red]; } 456 -> {457}; 457 -> {458}; 458 -> {459}; 459 -> {460}; 460 -> {461}; 461 -> {462}; 462 -> {463 481}; 462 -> {482} [style=dotted]; 462 -> {463} [style=dashed]; 463 -> {464}; 464 -> {465}; 465 -> {466}; 466 -> {467}; 467 -> {468}; 468 -> {469}; 469 -> {470}; 470 -> {471}; 471 -> {472}; 472 -> {473}; 473 -> {474}; 474 -> {475}; 475 -> {476}; 476 -> {477}; 477 -> {478}; 478 -> {479}; 479 -> {480}; 480 -> {482}; 481 -> {483}; 482 -> {462} [color=green style=dashed]; 482 -> {483} [color=green]; 482 -> {508} [color=red label="Postponed"]; 483 -> {484}; 484 -> {485}; 485 -> {486}; 486 -> {487}; 487 -> {488 504}; 487 -> {505} [style=dotted]; 487 -> {488} [style=dashed]; 488 -> {489}; 489 -> {490}; 490 -> {491}; 491 -> {492}; 492 -> {493}; 493 -> {494}; 494 -> {495}; 495 -> {496}; 496 -> {497}; 497 -> {498}; 498 -> {499}; 499 -> {500}; 500 -> {501}; 501 -> {502}; 502 -> {503}; 503 -> {505}; 504 -> {506}; 505 -> {487} [color=green style=dashed]; 505 -> {506} [color=green]; 505 -> {508} [color=red label="Postponed"]; 506 -> {507}; 507 -> {508}; 508 -> {509}; 509 -> {510}; 510 -> {511}; 511 -> {512}; 512 -> {513}; 513 -> {514}; 514 -> {515}; 515 -> {516}; 516 -> {517}; 517 -> {518}; 518 -> {519}; 519 -> {520}; subgraph cluster_149 { color=red 521 [label="Enter function incompleteCallAtMostOnce" style="filled" fillcolor=red]; subgraph cluster_150 { color=blue 522 [label="Enter block"]; subgraph cluster_151 { color=blue 523 [label="Function call arguments enter"]; subgraph cluster_152 { color=blue 524 [label="Function call arguments enter"]; subgraph cluster_153 { color=blue 525 [label="Function call arguments enter"]; subgraph cluster_154 { color=blue 526 [label="Function call arguments enter"]; 527 [label="Postponed enter to lambda"]; subgraph cluster_155 { color=blue 528 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_156 { color=blue 529 [label="Enter block"]; 530 [label="Access variable R|/x|"]; 531 [label="Type operator: (R|/x| as R|kotlin/Int|)"]; subgraph cluster_157 { color=blue 532 [label="Function call arguments enter"]; 533 [label="Access variable R|/y|"]; 534 [label="Function call arguments exit"]; } 535 [label="Function call: R|/y|.#()" style="filled" fillcolor=yellow]; subgraph cluster_158 { color=blue 536 [label="Function call arguments enter"]; 537 [label="Access variable R|/x|"]; 538 [label="Smart cast: R|/x|"]; 539 [label="Function call arguments exit"]; } 540 [label="Function call: R|/x|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; subgraph cluster_159 { color=blue 541 [label="Function call arguments enter"]; 542 [label="Function call arguments exit"]; } 543 [label="Function call: R|/materialize|()" style="filled" fillcolor=yellow]; 544 [label="Exit block"]; } 545 [label="Exit function " style="filled" fillcolor=red]; } 546 [label="Function call arguments exit"]; } 547 [label="Postponed exit from lambda"]; 548 [label="Function call: R|/atMostOnce|(...)" style="filled" fillcolor=yellow]; 549 [label="Function call arguments exit"]; } 550 [label="Function call: R|/id|(...)" style="filled" fillcolor=yellow]; subgraph cluster_160 { color=blue 551 [label="Function call arguments enter"]; 552 [label="Postponed enter to lambda"]; subgraph cluster_161 { color=blue 553 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_162 { color=blue 554 [label="Enter block"]; 555 [label="Access variable R|/y|"]; 556 [label="Type operator: (R|/y| as R|kotlin/Int|)"]; subgraph cluster_163 { color=blue 557 [label="Function call arguments enter"]; 558 [label="Access variable R|/x|"]; 559 [label="Function call arguments exit"]; } 560 [label="Function call: R|/x|.#()" style="filled" fillcolor=yellow]; subgraph cluster_164 { color=blue 561 [label="Function call arguments enter"]; 562 [label="Access variable R|/y|"]; 563 [label="Smart cast: R|/y|"]; 564 [label="Function call arguments exit"]; } 565 [label="Function call: R|/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; 566 [label="Const: Int(1)"]; 567 [label="Exit block"]; } 568 [label="Exit function " style="filled" fillcolor=red]; } 569 [label="Function call arguments exit"]; } 570 [label="Postponed exit from lambda"]; 571 [label="Function call: R|/atMostOnce|(...)" style="filled" fillcolor=yellow]; 572 [label="Function call arguments exit"]; } 573 [label="Function call: R|/select|(...)" style="filled" fillcolor=yellow]; 574 [label="Function call arguments exit"]; } 575 [label="Function call: R|/select|(...).R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; subgraph cluster_165 { color=blue 576 [label="Function call arguments enter"]; 577 [label="Access variable R|/x|"]; 578 [label="Function call arguments exit"]; } 579 [label="Function call: R|/x|.#()" style="filled" fillcolor=yellow]; subgraph cluster_166 { color=blue 580 [label="Function call arguments enter"]; 581 [label="Access variable R|/y|"]; 582 [label="Function call arguments exit"]; } 583 [label="Function call: R|/y|.#()" style="filled" fillcolor=yellow]; 584 [label="Exit block"]; } 585 [label="Exit function incompleteCallAtMostOnce" style="filled" fillcolor=red]; } 521 -> {522}; 522 -> {523}; 523 -> {524}; 524 -> {525}; 525 -> {526}; 526 -> {527}; 527 -> {528 546 547}; 527 -> {528} [style=dashed]; 528 -> {529}; 529 -> {530}; 530 -> {531}; 531 -> {532}; 532 -> {533}; 533 -> {534}; 534 -> {535}; 535 -> {536}; 536 -> {537}; 537 -> {538}; 538 -> {539}; 539 -> {540}; 540 -> {541}; 541 -> {542}; 542 -> {543}; 543 -> {544}; 544 -> {545}; 545 -> {547}; 546 -> {548}; 547 -> {548} [color=green]; 547 -> {573} [color=red label="Postponed"]; 548 -> {549}; 549 -> {550}; 550 -> {551}; 551 -> {552}; 552 -> {553 569 570}; 552 -> {553} [style=dashed]; 553 -> {554}; 554 -> {555}; 555 -> {556}; 556 -> {557}; 557 -> {558}; 558 -> {559}; 559 -> {560}; 560 -> {561}; 561 -> {562}; 562 -> {563}; 563 -> {564}; 564 -> {565}; 565 -> {566}; 566 -> {567}; 567 -> {568}; 568 -> {570}; 569 -> {571}; 570 -> {571} [color=green]; 570 -> {573} [color=red label="Postponed"]; 571 -> {572}; 572 -> {573}; 573 -> {574}; 574 -> {575}; 575 -> {576}; 576 -> {577}; 577 -> {578}; 578 -> {579}; 579 -> {580}; 580 -> {581}; 581 -> {582}; 582 -> {583}; 583 -> {584}; 584 -> {585}; subgraph cluster_167 { color=red 586 [label="Enter function incompleteCallUnknown" style="filled" fillcolor=red]; subgraph cluster_168 { color=blue 587 [label="Enter block"]; subgraph cluster_169 { color=blue 588 [label="Function call arguments enter"]; subgraph cluster_170 { color=blue 589 [label="Function call arguments enter"]; subgraph cluster_171 { color=blue 590 [label="Function call arguments enter"]; subgraph cluster_172 { color=blue 591 [label="Function call arguments enter"]; 592 [label="Postponed enter to lambda"]; subgraph cluster_173 { color=blue 593 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_174 { color=blue 594 [label="Enter block"]; 595 [label="Access variable R|/x|"]; 596 [label="Type operator: (R|/x| as R|kotlin/Int|)"]; subgraph cluster_175 { color=blue 597 [label="Function call arguments enter"]; 598 [label="Access variable R|/y|"]; 599 [label="Function call arguments exit"]; } 600 [label="Function call: R|/y|.#()" style="filled" fillcolor=yellow]; subgraph cluster_176 { color=blue 601 [label="Function call arguments enter"]; 602 [label="Access variable R|/x|"]; 603 [label="Smart cast: R|/x|"]; 604 [label="Function call arguments exit"]; } 605 [label="Function call: R|/x|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; subgraph cluster_177 { color=blue 606 [label="Function call arguments enter"]; 607 [label="Function call arguments exit"]; } 608 [label="Function call: R|/materialize|()" style="filled" fillcolor=yellow]; 609 [label="Exit block"]; } 610 [label="Exit function " style="filled" fillcolor=red]; } 611 [label="Function call arguments exit"]; } 612 [label="Postponed exit from lambda"]; 613 [label="Function call: R|/unknown|(...)" style="filled" fillcolor=yellow]; 614 [label="Function call arguments exit"]; } 615 [label="Function call: R|/id|(...)" style="filled" fillcolor=yellow]; subgraph cluster_178 { color=blue 616 [label="Function call arguments enter"]; 617 [label="Postponed enter to lambda"]; subgraph cluster_179 { color=blue 618 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_180 { color=blue 619 [label="Enter block"]; 620 [label="Access variable R|/y|"]; 621 [label="Type operator: (R|/y| as R|kotlin/Int|)"]; subgraph cluster_181 { color=blue 622 [label="Function call arguments enter"]; 623 [label="Access variable R|/x|"]; 624 [label="Function call arguments exit"]; } 625 [label="Function call: R|/x|.#()" style="filled" fillcolor=yellow]; subgraph cluster_182 { color=blue 626 [label="Function call arguments enter"]; 627 [label="Access variable R|/y|"]; 628 [label="Smart cast: R|/y|"]; 629 [label="Function call arguments exit"]; } 630 [label="Function call: R|/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; 631 [label="Const: Int(1)"]; 632 [label="Exit block"]; } 633 [label="Exit function " style="filled" fillcolor=red]; } 634 [label="Function call arguments exit"]; } 635 [label="Postponed exit from lambda"]; 636 [label="Function call: R|/unknown|(...)" style="filled" fillcolor=yellow]; 637 [label="Function call arguments exit"]; } 638 [label="Function call: R|/select|(...)" style="filled" fillcolor=yellow]; 639 [label="Function call arguments exit"]; } 640 [label="Function call: R|/select|(...).R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; subgraph cluster_183 { color=blue 641 [label="Function call arguments enter"]; 642 [label="Access variable R|/x|"]; 643 [label="Function call arguments exit"]; } 644 [label="Function call: R|/x|.#()" style="filled" fillcolor=yellow]; subgraph cluster_184 { color=blue 645 [label="Function call arguments enter"]; 646 [label="Access variable R|/y|"]; 647 [label="Function call arguments exit"]; } 648 [label="Function call: R|/y|.#()" style="filled" fillcolor=yellow]; 649 [label="Exit block"]; } 650 [label="Exit function incompleteCallUnknown" style="filled" fillcolor=red]; } 586 -> {587}; 587 -> {588}; 588 -> {589}; 589 -> {590}; 590 -> {591}; 591 -> {592}; 592 -> {593 611 612}; 592 -> {593} [style=dashed]; 593 -> {594}; 594 -> {595}; 595 -> {596}; 596 -> {597}; 597 -> {598}; 598 -> {599}; 599 -> {600}; 600 -> {601}; 601 -> {602}; 602 -> {603}; 603 -> {604}; 604 -> {605}; 605 -> {606}; 606 -> {607}; 607 -> {608}; 608 -> {609}; 609 -> {610}; 610 -> {612}; 611 -> {613}; 612 -> {592} [color=green style=dashed]; 612 -> {613} [color=green]; 612 -> {638} [color=red label="Postponed"]; 613 -> {614}; 614 -> {615}; 615 -> {616}; 616 -> {617}; 617 -> {618 634 635}; 617 -> {618} [style=dashed]; 618 -> {619}; 619 -> {620}; 620 -> {621}; 621 -> {622}; 622 -> {623}; 623 -> {624}; 624 -> {625}; 625 -> {626}; 626 -> {627}; 627 -> {628}; 628 -> {629}; 629 -> {630}; 630 -> {631}; 631 -> {632}; 632 -> {633}; 633 -> {635}; 634 -> {636}; 635 -> {617} [color=green style=dashed]; 635 -> {636} [color=green]; 635 -> {638} [color=red label="Postponed"]; 636 -> {637}; 637 -> {638}; 638 -> {639}; 639 -> {640}; 640 -> {641}; 641 -> {642}; 642 -> {643}; 643 -> {644}; 644 -> {645}; 645 -> {646}; 646 -> {647}; 647 -> {648}; 648 -> {649}; 649 -> {650}; subgraph cluster_185 { color=red 651 [label="Enter function incompleteCallNoContract" style="filled" fillcolor=red]; subgraph cluster_186 { color=blue 652 [label="Enter block"]; subgraph cluster_187 { color=blue 653 [label="Function call arguments enter"]; subgraph cluster_188 { color=blue 654 [label="Function call arguments enter"]; subgraph cluster_189 { color=blue 655 [label="Function call arguments enter"]; subgraph cluster_190 { color=blue 656 [label="Function call arguments enter"]; 657 [label="Postponed enter to lambda"]; subgraph cluster_191 { color=blue 658 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_192 { color=blue 659 [label="Enter block"]; 660 [label="Access variable R|/x|"]; 661 [label="Type operator: (R|/x| as R|kotlin/Int|)"]; subgraph cluster_193 { color=blue 662 [label="Function call arguments enter"]; 663 [label="Access variable R|/y|"]; 664 [label="Function call arguments exit"]; } 665 [label="Function call: R|/y|.#()" style="filled" fillcolor=yellow]; subgraph cluster_194 { color=blue 666 [label="Function call arguments enter"]; 667 [label="Access variable R|/x|"]; 668 [label="Smart cast: R|/x|"]; 669 [label="Function call arguments exit"]; } 670 [label="Function call: R|/x|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; subgraph cluster_195 { color=blue 671 [label="Function call arguments enter"]; 672 [label="Function call arguments exit"]; } 673 [label="Function call: R|/materialize|()" style="filled" fillcolor=yellow]; 674 [label="Exit block"]; } 675 [label="Exit function " style="filled" fillcolor=red]; } 676 [label="Function call arguments exit"]; } 677 [label="Postponed exit from lambda"]; 678 [label="Function call: R|/noContract|(...)" style="filled" fillcolor=yellow]; 679 [label="Function call arguments exit"]; } 680 [label="Function call: R|/id|(...)" style="filled" fillcolor=yellow]; subgraph cluster_196 { color=blue 681 [label="Function call arguments enter"]; 682 [label="Postponed enter to lambda"]; subgraph cluster_197 { color=blue 683 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_198 { color=blue 684 [label="Enter block"]; 685 [label="Access variable R|/y|"]; 686 [label="Type operator: (R|/y| as R|kotlin/Int|)"]; subgraph cluster_199 { color=blue 687 [label="Function call arguments enter"]; 688 [label="Access variable R|/x|"]; 689 [label="Function call arguments exit"]; } 690 [label="Function call: R|/x|.#()" style="filled" fillcolor=yellow]; subgraph cluster_200 { color=blue 691 [label="Function call arguments enter"]; 692 [label="Access variable R|/y|"]; 693 [label="Smart cast: R|/y|"]; 694 [label="Function call arguments exit"]; } 695 [label="Function call: R|/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; 696 [label="Const: Int(1)"]; 697 [label="Exit block"]; } 698 [label="Exit function " style="filled" fillcolor=red]; } 699 [label="Function call arguments exit"]; } 700 [label="Postponed exit from lambda"]; 701 [label="Function call: R|/noContract|(...)" style="filled" fillcolor=yellow]; 702 [label="Function call arguments exit"]; } 703 [label="Function call: R|/select|(...)" style="filled" fillcolor=yellow]; 704 [label="Function call arguments exit"]; } 705 [label="Function call: R|/select|(...).R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; subgraph cluster_201 { color=blue 706 [label="Function call arguments enter"]; 707 [label="Access variable R|/x|"]; 708 [label="Function call arguments exit"]; } 709 [label="Function call: R|/x|.#()" style="filled" fillcolor=yellow]; subgraph cluster_202 { color=blue 710 [label="Function call arguments enter"]; 711 [label="Access variable R|/y|"]; 712 [label="Function call arguments exit"]; } 713 [label="Function call: R|/y|.#()" style="filled" fillcolor=yellow]; 714 [label="Exit block"]; } 715 [label="Exit function incompleteCallNoContract" style="filled" fillcolor=red]; } 651 -> {652}; 652 -> {653}; 653 -> {654}; 654 -> {655}; 655 -> {656}; 656 -> {657}; 657 -> {658 676 677}; 657 -> {658} [style=dashed]; 658 -> {659}; 659 -> {660}; 660 -> {661}; 661 -> {662}; 662 -> {663}; 663 -> {664}; 664 -> {665}; 665 -> {666}; 666 -> {667}; 667 -> {668}; 668 -> {669}; 669 -> {670}; 670 -> {671}; 671 -> {672}; 672 -> {673}; 673 -> {674}; 674 -> {675}; 676 -> {678}; 677 -> {678} [color=green]; 677 -> {703} [color=red label="Postponed"]; 678 -> {679}; 679 -> {680}; 680 -> {681}; 681 -> {682}; 682 -> {683 699 700}; 682 -> {683} [style=dashed]; 683 -> {684}; 684 -> {685}; 685 -> {686}; 686 -> {687}; 687 -> {688}; 688 -> {689}; 689 -> {690}; 690 -> {691}; 691 -> {692}; 692 -> {693}; 693 -> {694}; 694 -> {695}; 695 -> {696}; 696 -> {697}; 697 -> {698}; 699 -> {701}; 700 -> {701} [color=green]; 700 -> {703} [color=red label="Postponed"]; 701 -> {702}; 702 -> {703}; 703 -> {704}; 704 -> {705}; 705 -> {706}; 706 -> {707}; 707 -> {708}; 708 -> {709}; 709 -> {710}; 710 -> {711}; 711 -> {712}; 712 -> {713}; 713 -> {714}; 714 -> {715}; subgraph cluster_203 { color=red 716 [label="Enter function expectedType" style="filled" fillcolor=red]; subgraph cluster_204 { color=blue 717 [label="Enter block"]; subgraph cluster_205 { color=blue 718 [label="Function call arguments enter"]; subgraph cluster_206 { color=blue 719 [label="Function call arguments enter"]; 720 [label="Postponed enter to lambda"]; subgraph cluster_207 { color=blue 721 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_208 { color=blue 722 [label="Enter block"]; subgraph cluster_209 { color=blue 723 [label="Function call arguments enter"]; 724 [label="Function call arguments exit"]; } 725 [label="Function call: R|/materialize|()" style="filled" fillcolor=yellow]; 726 [label="Exit block"]; } 727 [label="Exit function " style="filled" fillcolor=red]; } 728 [label="Function call arguments exit"]; } 729 [label="Postponed exit from lambda"]; 730 [label="Function call: R|kotlin/run|(...)" style="filled" fillcolor=yellow]; subgraph cluster_210 { color=blue 731 [label="Function call arguments enter"]; 732 [label="Postponed enter to lambda"]; subgraph cluster_211 { color=blue 733 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_212 { color=blue 734 [label="Enter block"]; subgraph cluster_213 { color=blue 735 [label="Function call arguments enter"]; 736 [label="Function call arguments exit"]; } 737 [label="Function call: R|/materialize|()" style="filled" fillcolor=yellow]; 738 [label="Exit block"]; } 739 [label="Exit function " style="filled" fillcolor=red]; } 740 [label="Function call arguments exit"]; } 741 [label="Postponed exit from lambda"]; 742 [label="Function call: R|kotlin/run|(...)" style="filled" fillcolor=yellow]; 743 [label="Function call arguments exit"]; } 744 [label="Function call: R|/select|(...)" style="filled" fillcolor=yellow]; 745 [label="Variable declaration: lval x: R|kotlin/Int|"]; subgraph cluster_214 { color=blue 746 [label="Function call arguments enter"]; 747 [label="Access variable R|/x|"]; 748 [label="Function call arguments exit"]; } 749 [label="Function call: R|/x|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; 750 [label="Exit block"]; } 751 [label="Exit function expectedType" style="filled" fillcolor=red]; } 716 -> {717}; 717 -> {718}; 718 -> {719}; 719 -> {720}; 720 -> {721 728}; 720 -> {729} [style=dotted]; 720 -> {721} [style=dashed]; 721 -> {722}; 722 -> {723}; 723 -> {724}; 724 -> {725}; 725 -> {726}; 726 -> {727}; 727 -> {729}; 728 -> {730}; 729 -> {730} [color=green]; 729 -> {744} [color=red label="Postponed"]; 730 -> {731}; 731 -> {732}; 732 -> {733 740}; 732 -> {741} [style=dotted]; 732 -> {733} [style=dashed]; 733 -> {734}; 734 -> {735}; 735 -> {736}; 736 -> {737}; 737 -> {738}; 738 -> {739}; 739 -> {741}; 740 -> {742}; 741 -> {742} [color=green]; 741 -> {744} [color=red label="Postponed"]; 742 -> {743}; 743 -> {744}; 744 -> {745}; 745 -> {746}; 746 -> {747}; 747 -> {748}; 748 -> {749}; 749 -> {750}; 750 -> {751}; subgraph cluster_215 { color=red 752 [label="Enter function expectedTypeNested" style="filled" fillcolor=red]; subgraph cluster_216 { color=blue 753 [label="Enter block"]; subgraph cluster_217 { color=blue 754 [label="Function call arguments enter"]; subgraph cluster_218 { color=blue 755 [label="Function call arguments enter"]; 756 [label="Postponed enter to lambda"]; subgraph cluster_219 { color=blue 757 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_220 { color=blue 758 [label="Enter block"]; subgraph cluster_221 { color=blue 759 [label="Function call arguments enter"]; 760 [label="Postponed enter to lambda"]; subgraph cluster_222 { color=blue 761 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_223 { color=blue 762 [label="Enter block"]; subgraph cluster_224 { color=blue 763 [label="Function call arguments enter"]; 764 [label="Function call arguments exit"]; } 765 [label="Function call: R|/materialize|()" style="filled" fillcolor=yellow]; 766 [label="Exit block"]; } 767 [label="Exit function " style="filled" fillcolor=red]; } 768 [label="Function call arguments exit"]; } 769 [label="Postponed exit from lambda"]; 770 [label="Function call: R|kotlin/run|(...)" style="filled" fillcolor=yellow]; 771 [label="Exit block"]; } 772 [label="Exit function " style="filled" fillcolor=red]; } 773 [label="Function call arguments exit"]; } 774 [label="Postponed exit from lambda"]; 775 [label="Function call: R|/noContract|(...)" style="filled" fillcolor=yellow]; 776 [label="Function call arguments exit"]; } 777 [label="Function call: R|/id|(...)" style="filled" fillcolor=yellow]; 778 [label="Variable declaration: lval x: R|kotlin/Int|"]; subgraph cluster_225 { color=blue 779 [label="Function call arguments enter"]; 780 [label="Access variable R|/x|"]; 781 [label="Function call arguments exit"]; } 782 [label="Function call: R|/x|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; 783 [label="Exit block"]; } 784 [label="Exit function expectedTypeNested" style="filled" fillcolor=red]; } 752 -> {753}; 753 -> {754}; 754 -> {755}; 755 -> {756}; 756 -> {757 773 774}; 756 -> {757} [style=dashed]; 757 -> {758}; 758 -> {759}; 759 -> {760}; 760 -> {761 768}; 760 -> {769} [style=dotted]; 760 -> {761} [style=dashed]; 761 -> {762}; 762 -> {763}; 763 -> {764}; 764 -> {765}; 765 -> {766}; 766 -> {767}; 767 -> {769}; 768 -> {770}; 769 -> {770} [color=green]; 769 -> {777} [color=red label="Postponed"]; 770 -> {771}; 771 -> {772}; 773 -> {775}; 774 -> {775} [color=green]; 774 -> {777} [color=red label="Postponed"]; 775 -> {776}; 776 -> {777}; 777 -> {778}; 778 -> {779}; 779 -> {780}; 780 -> {781}; 781 -> {782}; 782 -> {783}; 783 -> {784}; }