digraph boundSmartcastsInBranches_kt { graph [nodesep=3] node [shape=box penwidth=2] edge [penwidth=2] subgraph cluster_0 { color=red 0 [label="Enter class A" style="filled" fillcolor=red]; subgraph cluster_1 { color=blue 1 [label="Enter property" style="filled" fillcolor=red]; 2 [label="Const: String()"]; 3 [label="Exit property" style="filled" fillcolor=red]; } subgraph cluster_2 { color=blue 4 [label="Enter function " style="filled" fillcolor=red]; 5 [label="Delegated constructor call: super()" style="filled" fillcolor=yellow]; 6 [label="Exit function " style="filled" fillcolor=red]; } 7 [label="Exit class A" style="filled" fillcolor=red]; } 0 -> {1} [color=green]; 0 -> {7} [style=dotted]; 0 -> {1 4} [style=dashed]; 1 -> {2}; 2 -> {3}; 3 -> {4} [color=green]; 4 -> {5}; 5 -> {6}; 6 -> {7} [color=green]; subgraph cluster_3 { color=red 8 [label="Enter function test_0" style="filled" fillcolor=red]; subgraph cluster_4 { color=blue 9 [label="Enter block"]; 10 [label="Const: Null(null)"]; 11 [label="Variable declaration: lvar goodA: R|A?|"]; subgraph cluster_5 { color=blue 12 [label="Enter block"]; 13 [label="Access variable R|/list|"]; 14 [label="Function call: R|/list|.R|SubstitutionOverride|>|()" style="filled" fillcolor=yellow]; 15 [label="Variable declaration: lval : R|kotlin/collections/Iterator|"]; subgraph cluster_6 { color=blue 16 [label="Enter while loop"]; subgraph cluster_7 { color=blue 17 [label="Enter loop condition"]; 18 [label="Access variable R|/|"]; 19 [label="Function call: R|/|.R|SubstitutionOverride|()" style="filled" fillcolor=yellow]; 20 [label="Exit loop condition"]; } subgraph cluster_8 { color=blue 21 [label="Enter loop block"]; subgraph cluster_9 { color=blue 22 [label="Enter block"]; 23 [label="Access variable R|/|"]; 24 [label="Function call: R|/|.R|SubstitutionOverride|()" style="filled" fillcolor=yellow]; 25 [label="Variable declaration: lval a: R|A|"]; subgraph cluster_10 { color=blue 26 [label="Enter block"]; subgraph cluster_11 { color=blue 27 [label="Enter when"]; subgraph cluster_12 { color=blue 28 [label="Enter when branch condition "]; 29 [label="Access variable R|/goodA|"]; 30 [label="Const: Null(null)"]; 31 [label="Equality operator =="]; 32 [label="Exit when branch condition"]; } 33 [label="Synthetic else branch"]; 34 [label="Enter when branch result"]; subgraph cluster_13 { color=blue 35 [label="Enter block"]; 36 [label="Access variable R|/a|"]; 37 [label="Assignment: R|/goodA|"]; 38 [label="Jump: continue@@@[R|/|.R|SubstitutionOverride|()] "]; 39 [label="Stub" style="filled" fillcolor=gray]; 40 [label="Exit block" style="filled" fillcolor=gray]; } 41 [label="Exit when branch result" style="filled" fillcolor=gray]; 42 [label="Exit when"]; } 43 [label="Access variable R|/goodA|"]; 44 [label="Smart cast: R|/goodA|"]; 45 [label="Access variable R|/A.s|"]; 46 [label="Exit block"]; } 47 [label="Exit block"]; } 48 [label="Exit loop block"]; } 49 [label="Exit while loop"]; } 50 [label="Exit block"]; } 51 [label="Exit block"]; } 52 [label="Exit function test_0" style="filled" fillcolor=red]; } 8 -> {9}; 9 -> {10}; 10 -> {11}; 11 -> {12}; 12 -> {13}; 13 -> {14}; 14 -> {15}; 15 -> {16}; 16 -> {17}; 17 -> {18}; 18 -> {19}; 19 -> {20}; 20 -> {21 49}; 21 -> {22}; 22 -> {23}; 23 -> {24}; 24 -> {25}; 25 -> {26}; 26 -> {27}; 27 -> {28}; 28 -> {29}; 29 -> {30}; 30 -> {31}; 31 -> {32}; 32 -> {33 34}; 33 -> {42}; 34 -> {35}; 35 -> {36}; 36 -> {37}; 37 -> {38}; 38 -> {17} [color=green style=dashed]; 38 -> {39} [style=dotted]; 39 -> {40} [style=dotted]; 40 -> {41} [style=dotted]; 41 -> {42} [style=dotted]; 42 -> {43}; 43 -> {44}; 44 -> {45}; 45 -> {46}; 46 -> {47}; 47 -> {48}; 48 -> {17} [color=green style=dashed]; 49 -> {50}; 50 -> {51}; 51 -> {52}; subgraph cluster_14 { color=red 53 [label="Enter function test_1" style="filled" fillcolor=red]; subgraph cluster_15 { color=blue 54 [label="Enter block"]; 55 [label="Variable declaration: lval x: R|kotlin/Any|"]; subgraph cluster_16 { color=blue 56 [label="Enter when"]; subgraph cluster_17 { color=blue 57 [label="Enter when branch condition "]; 58 [label="Access variable R|/b|"]; 59 [label="Exit when branch condition"]; } subgraph cluster_18 { color=blue 60 [label="Enter when branch condition else"]; 61 [label="Exit when branch condition"]; } 62 [label="Enter when branch result"]; subgraph cluster_19 { color=blue 63 [label="Enter block"]; 64 [label="Access variable R|/a|"]; 65 [label="Assignment: R|/x|"]; 66 [label="Exit block"]; } 67 [label="Exit when branch result"]; 68 [label="Enter when branch result"]; subgraph cluster_20 { color=blue 69 [label="Enter block"]; 70 [label="Function call: R|/A.A|()" style="filled" fillcolor=yellow]; 71 [label="Assignment: R|/x|"]; 72 [label="Exit block"]; } 73 [label="Exit when branch result"]; 74 [label="Exit when"]; } 75 [label="Access variable R|/x|"]; 76 [label="Smart cast: R|/x|"]; 77 [label="Access variable R|/A.s|"]; 78 [label="Exit block"]; } 79 [label="Exit function test_1" style="filled" fillcolor=red]; } 53 -> {54}; 54 -> {55}; 55 -> {56}; 56 -> {57}; 57 -> {58}; 58 -> {59}; 59 -> {60 68}; 60 -> {61}; 61 -> {62}; 62 -> {63}; 63 -> {64}; 64 -> {65}; 65 -> {66}; 66 -> {67}; 67 -> {74}; 68 -> {69}; 69 -> {70}; 70 -> {71}; 71 -> {72}; 72 -> {73}; 73 -> {74}; 74 -> {75}; 75 -> {76}; 76 -> {77}; 77 -> {78}; 78 -> {79}; subgraph cluster_21 { color=red 80 [label="Enter function test_2" style="filled" fillcolor=red]; subgraph cluster_22 { color=blue 81 [label="Enter block"]; 82 [label="Variable declaration: lval x: R|kotlin/Any|"]; subgraph cluster_23 { color=blue 83 [label="Enter when"]; subgraph cluster_24 { color=blue 84 [label="Enter when branch condition "]; 85 [label="Access variable R|/b|"]; 86 [label="Exit when branch condition"]; } subgraph cluster_25 { color=blue 87 [label="Enter when branch condition else"]; 88 [label="Exit when branch condition"]; } 89 [label="Enter when branch result"]; subgraph cluster_26 { color=blue 90 [label="Enter block"]; 91 [label="Access variable R|/a|"]; 92 [label="Assignment: R|/x|"]; 93 [label="Access variable R|/a|"]; 94 [label="Type operator: (R|/a| as R|A|)"]; 95 [label="Exit block"]; } 96 [label="Exit when branch result"]; 97 [label="Enter when branch result"]; subgraph cluster_27 { color=blue 98 [label="Enter block"]; 99 [label="Function call: R|/A.A|()" style="filled" fillcolor=yellow]; 100 [label="Assignment: R|/x|"]; 101 [label="Exit block"]; } 102 [label="Exit when branch result"]; 103 [label="Exit when"]; } 104 [label="Access variable R|/x|"]; 105 [label="Smart cast: R|/x|"]; 106 [label="Access variable R|/A.s|"]; 107 [label="Exit block"]; } 108 [label="Exit function test_2" style="filled" fillcolor=red]; } 80 -> {81}; 81 -> {82}; 82 -> {83}; 83 -> {84}; 84 -> {85}; 85 -> {86}; 86 -> {87 97}; 87 -> {88}; 88 -> {89}; 89 -> {90}; 90 -> {91}; 91 -> {92}; 92 -> {93}; 93 -> {94}; 94 -> {95}; 95 -> {96}; 96 -> {103}; 97 -> {98}; 98 -> {99}; 99 -> {100}; 100 -> {101}; 101 -> {102}; 102 -> {103}; 103 -> {104}; 104 -> {105}; 105 -> {106}; 106 -> {107}; 107 -> {108}; subgraph cluster_28 { color=red 109 [label="Enter function test_3" style="filled" fillcolor=red]; subgraph cluster_29 { color=blue 110 [label="Enter block"]; 111 [label="Variable declaration: lval x: R|kotlin/Any|"]; subgraph cluster_30 { color=blue 112 [label="Enter when"]; subgraph cluster_31 { color=blue 113 [label="Enter when branch condition "]; 114 [label="Access variable R|/b|"]; 115 [label="Exit when branch condition"]; } subgraph cluster_32 { color=blue 116 [label="Enter when branch condition else"]; 117 [label="Exit when branch condition"]; } 118 [label="Enter when branch result"]; subgraph cluster_33 { color=blue 119 [label="Enter block"]; 120 [label="Access variable R|/a|"]; 121 [label="Type operator: (R|/a| as R|A|)"]; 122 [label="Access variable R|/a|"]; 123 [label="Smart cast: R|/a|"]; 124 [label="Assignment: R|/x|"]; 125 [label="Exit block"]; } 126 [label="Exit when branch result"]; 127 [label="Enter when branch result"]; subgraph cluster_34 { color=blue 128 [label="Enter block"]; 129 [label="Function call: R|/A.A|()" style="filled" fillcolor=yellow]; 130 [label="Assignment: R|/x|"]; 131 [label="Exit block"]; } 132 [label="Exit when branch result"]; 133 [label="Exit when"]; } 134 [label="Access variable R|/x|"]; 135 [label="Smart cast: R|/x|"]; 136 [label="Access variable R|/A.s|"]; 137 [label="Exit block"]; } 138 [label="Exit function test_3" style="filled" fillcolor=red]; } 109 -> {110}; 110 -> {111}; 111 -> {112}; 112 -> {113}; 113 -> {114}; 114 -> {115}; 115 -> {116 127}; 116 -> {117}; 117 -> {118}; 118 -> {119}; 119 -> {120}; 120 -> {121}; 121 -> {122}; 122 -> {123}; 123 -> {124}; 124 -> {125}; 125 -> {126}; 126 -> {133}; 127 -> {128}; 128 -> {129}; 129 -> {130}; 130 -> {131}; 131 -> {132}; 132 -> {133}; 133 -> {134}; 134 -> {135}; 135 -> {136}; 136 -> {137}; 137 -> {138}; subgraph cluster_35 { color=red 139 [label="Enter function test_4" style="filled" fillcolor=red]; subgraph cluster_36 { color=blue 140 [label="Enter block"]; 141 [label="Variable declaration: lval x: R|kotlin/Any|"]; subgraph cluster_37 { color=blue 142 [label="Enter when"]; subgraph cluster_38 { color=blue 143 [label="Enter when branch condition "]; 144 [label="Access variable R|/b|"]; 145 [label="Exit when branch condition"]; } subgraph cluster_39 { color=blue 146 [label="Enter when branch condition else"]; 147 [label="Exit when branch condition"]; } 148 [label="Enter when branch result"]; subgraph cluster_40 { color=blue 149 [label="Enter block"]; 150 [label="Access variable R|/a|"]; 151 [label="Assignment: R|/x|"]; 152 [label="Exit block"]; } 153 [label="Exit when branch result"]; 154 [label="Enter when branch result"]; subgraph cluster_41 { color=blue 155 [label="Enter block"]; 156 [label="Access variable R|/a|"]; 157 [label="Assignment: R|/x|"]; 158 [label="Exit block"]; } 159 [label="Exit when branch result"]; 160 [label="Exit when"]; } 161 [label="Access variable R|/x|"]; 162 [label="Type operator: (R|/x| as R|A|)"]; 163 [label="Access variable R|/x|"]; 164 [label="Smart cast: R|/x|"]; 165 [label="Access variable R|/A.s|"]; 166 [label="Access variable R|/a|"]; 167 [label="Smart cast: R|/a|"]; 168 [label="Access variable R|/A.s|"]; 169 [label="Exit block"]; } 170 [label="Exit function test_4" style="filled" fillcolor=red]; } 139 -> {140}; 140 -> {141}; 141 -> {142}; 142 -> {143}; 143 -> {144}; 144 -> {145}; 145 -> {146 154}; 146 -> {147}; 147 -> {148}; 148 -> {149}; 149 -> {150}; 150 -> {151}; 151 -> {152}; 152 -> {153}; 153 -> {160}; 154 -> {155}; 155 -> {156}; 156 -> {157}; 157 -> {158}; 158 -> {159}; 159 -> {160}; 160 -> {161}; 161 -> {162}; 162 -> {163}; 163 -> {164}; 164 -> {165}; 165 -> {166}; 166 -> {167}; 167 -> {168}; 168 -> {169}; 169 -> {170}; subgraph cluster_42 { color=red 171 [label="Enter function test_5" style="filled" fillcolor=red]; subgraph cluster_43 { color=blue 172 [label="Enter block"]; 173 [label="Variable declaration: lval x: R|kotlin/Any|"]; subgraph cluster_44 { color=blue 174 [label="Enter when"]; subgraph cluster_45 { color=blue 175 [label="Enter when branch condition "]; 176 [label="Access variable R|/b|"]; 177 [label="Exit when branch condition"]; } subgraph cluster_46 { color=blue 178 [label="Enter when branch condition else"]; 179 [label="Exit when branch condition"]; } 180 [label="Enter when branch result"]; subgraph cluster_47 { color=blue 181 [label="Enter block"]; 182 [label="Access variable R|/a|"]; 183 [label="Assignment: R|/x|"]; 184 [label="Exit block"]; } 185 [label="Exit when branch result"]; 186 [label="Enter when branch result"]; subgraph cluster_48 { color=blue 187 [label="Enter block"]; 188 [label="Access variable R|/a|"]; 189 [label="Assignment: R|/x|"]; 190 [label="Exit block"]; } 191 [label="Exit when branch result"]; 192 [label="Exit when"]; } 193 [label="Access variable R|/a|"]; 194 [label="Type operator: (R|/a| as R|A|)"]; 195 [label="Access variable R|/x|"]; 196 [label="Smart cast: R|/x|"]; 197 [label="Access variable R|/A.s|"]; 198 [label="Access variable R|/a|"]; 199 [label="Smart cast: R|/a|"]; 200 [label="Access variable R|/A.s|"]; 201 [label="Exit block"]; } 202 [label="Exit function test_5" style="filled" fillcolor=red]; } 171 -> {172}; 172 -> {173}; 173 -> {174}; 174 -> {175}; 175 -> {176}; 176 -> {177}; 177 -> {178 186}; 178 -> {179}; 179 -> {180}; 180 -> {181}; 181 -> {182}; 182 -> {183}; 183 -> {184}; 184 -> {185}; 185 -> {192}; 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 -> {199}; 199 -> {200}; 200 -> {201}; 201 -> {202}; subgraph cluster_49 { color=red 203 [label="Enter function test_6" style="filled" fillcolor=red]; subgraph cluster_50 { color=blue 204 [label="Enter block"]; 205 [label="Variable declaration: lval x: R|kotlin/Any|"]; 206 [label="Access variable R|/a|"]; 207 [label="Assignment: R|/x|"]; 208 [label="Access variable R|/x|"]; 209 [label="Smart cast: R|/x|"]; 210 [label="Access variable R|/A.s|"]; 211 [label="Exit block"]; } 212 [label="Exit function test_6" style="filled" fillcolor=red]; } 203 -> {204}; 204 -> {205}; 205 -> {206}; 206 -> {207}; 207 -> {208}; 208 -> {209}; 209 -> {210}; 210 -> {211}; 211 -> {212}; subgraph cluster_51 { color=red 213 [label="Enter function test_7" style="filled" fillcolor=red]; subgraph cluster_52 { color=blue 214 [label="Enter block"]; 215 [label="Const: Null(null)"]; 216 [label="Variable declaration: lval z: R|kotlin/String?|"]; 217 [label="Access variable R|/z|"]; 218 [label="Variable declaration: lvar y: R|kotlin/String?|"]; 219 [label="Access variable R|/y|"]; 220 [label="Variable declaration: lval x: R|kotlin/String?|"]; subgraph cluster_53 { color=blue 221 [label="Enter when"]; subgraph cluster_54 { color=blue 222 [label="Enter when branch condition "]; 223 [label="Access variable R|/x|"]; 224 [label="Const: Null(null)"]; 225 [label="Equality operator !="]; 226 [label="Exit when branch condition"]; } 227 [label="Synthetic else branch"]; 228 [label="Enter when branch result"]; subgraph cluster_55 { color=blue 229 [label="Enter block"]; 230 [label="Access variable R|/x|"]; 231 [label="Smart cast: R|/x|"]; 232 [label="Access variable R|kotlin/String.length|"]; 233 [label="Access variable R|/y|"]; 234 [label="Access variable R|kotlin/String.length#|"]; 235 [label="Access variable R|/z|"]; 236 [label="Access variable R|kotlin/String.length#|"]; 237 [label="Exit block"]; } 238 [label="Exit when branch result"]; 239 [label="Exit when"]; } subgraph cluster_56 { color=blue 240 [label="Enter when"]; subgraph cluster_57 { color=blue 241 [label="Enter when branch condition "]; 242 [label="Access variable R|/y|"]; 243 [label="Const: Null(null)"]; 244 [label="Equality operator !="]; 245 [label="Exit when branch condition"]; } 246 [label="Synthetic else branch"]; 247 [label="Enter when branch result"]; subgraph cluster_58 { color=blue 248 [label="Enter block"]; 249 [label="Access variable R|/x|"]; 250 [label="Access variable R|kotlin/String.length#|"]; 251 [label="Access variable R|/y|"]; 252 [label="Smart cast: R|/y|"]; 253 [label="Access variable R|kotlin/String.length|"]; 254 [label="Access variable R|/z|"]; 255 [label="Access variable R|kotlin/String.length#|"]; 256 [label="Exit block"]; } 257 [label="Exit when branch result"]; 258 [label="Exit when"]; } subgraph cluster_59 { color=blue 259 [label="Enter when"]; subgraph cluster_60 { color=blue 260 [label="Enter when branch condition "]; 261 [label="Access variable R|/z|"]; 262 [label="Const: Null(null)"]; 263 [label="Equality operator !="]; 264 [label="Exit when branch condition"]; } 265 [label="Synthetic else branch"]; 266 [label="Enter when branch result"]; subgraph cluster_61 { color=blue 267 [label="Enter block"]; 268 [label="Access variable R|/x|"]; 269 [label="Access variable R|kotlin/String.length#|"]; 270 [label="Access variable R|/y|"]; 271 [label="Access variable R|kotlin/String.length#|"]; 272 [label="Access variable R|/z|"]; 273 [label="Smart cast: R|/z|"]; 274 [label="Access variable R|kotlin/String.length|"]; 275 [label="Exit block"]; } 276 [label="Exit when branch result"]; 277 [label="Exit when"]; } 278 [label="Const: Null(null)"]; 279 [label="Assignment: R|/y|"]; subgraph cluster_62 { color=blue 280 [label="Enter when"]; subgraph cluster_63 { color=blue 281 [label="Enter when branch condition "]; 282 [label="Access variable R|/x|"]; 283 [label="Const: Null(null)"]; 284 [label="Equality operator !="]; 285 [label="Exit when branch condition"]; } 286 [label="Synthetic else branch"]; 287 [label="Enter when branch result"]; subgraph cluster_64 { color=blue 288 [label="Enter block"]; 289 [label="Access variable R|/x|"]; 290 [label="Smart cast: R|/x|"]; 291 [label="Access variable R|kotlin/String.length|"]; 292 [label="Access variable R|/y|"]; 293 [label="Smart cast: R|/y|"]; 294 [label="Access variable R|kotlin/String.length#|"]; 295 [label="Access variable R|/z|"]; 296 [label="Access variable R|kotlin/String.length#|"]; 297 [label="Exit block"]; } 298 [label="Exit when branch result"]; 299 [label="Exit when"]; } subgraph cluster_65 { color=blue 300 [label="Enter when"]; subgraph cluster_66 { color=blue 301 [label="Enter when branch condition "]; 302 [label="Access variable R|/y|"]; 303 [label="Smart cast: R|/y|"]; 304 [label="Const: Null(null)"]; 305 [label="Equality operator !="]; 306 [label="Exit when branch condition"]; } 307 [label="Synthetic else branch"]; 308 [label="Enter when branch result"]; subgraph cluster_67 { color=blue 309 [label="Enter block"]; 310 [label="Access variable R|/x|"]; 311 [label="Access variable R|kotlin/String.length#|"]; 312 [label="Access variable R|/y|"]; 313 [label="Smart cast: R|/y|"]; 314 [label="Stub" style="filled" fillcolor=gray]; 315 [label="Access variable R|kotlin/String.length|" style="filled" fillcolor=gray]; 316 [label="Access variable R|/z|" style="filled" fillcolor=gray]; 317 [label="Access variable R|kotlin/String.length#|" style="filled" fillcolor=gray]; 318 [label="Exit block" style="filled" fillcolor=gray]; } 319 [label="Exit when branch result" style="filled" fillcolor=gray]; 320 [label="Exit when"]; } subgraph cluster_68 { color=blue 321 [label="Enter when"]; subgraph cluster_69 { color=blue 322 [label="Enter when branch condition "]; 323 [label="Access variable R|/z|"]; 324 [label="Const: Null(null)"]; 325 [label="Equality operator !="]; 326 [label="Exit when branch condition"]; } 327 [label="Synthetic else branch"]; 328 [label="Enter when branch result"]; subgraph cluster_70 { color=blue 329 [label="Enter block"]; 330 [label="Access variable R|/x|"]; 331 [label="Access variable R|kotlin/String.length#|"]; 332 [label="Access variable R|/y|"]; 333 [label="Smart cast: R|/y|"]; 334 [label="Access variable R|kotlin/String.length#|"]; 335 [label="Access variable R|/z|"]; 336 [label="Smart cast: R|/z|"]; 337 [label="Access variable R|kotlin/String.length|"]; 338 [label="Exit block"]; } 339 [label="Exit when branch result"]; 340 [label="Exit when"]; } 341 [label="Exit block"]; } 342 [label="Exit function test_7" style="filled" fillcolor=red]; } 213 -> {214}; 214 -> {215}; 215 -> {216}; 216 -> {217}; 217 -> {218}; 218 -> {219}; 219 -> {220}; 220 -> {221}; 221 -> {222}; 222 -> {223}; 223 -> {224}; 224 -> {225}; 225 -> {226}; 226 -> {227 228}; 227 -> {239}; 228 -> {229}; 229 -> {230}; 230 -> {231}; 231 -> {232}; 232 -> {233}; 233 -> {234}; 234 -> {235}; 235 -> {236}; 236 -> {237}; 237 -> {238}; 238 -> {239}; 239 -> {240}; 240 -> {241}; 241 -> {242}; 242 -> {243}; 243 -> {244}; 244 -> {245}; 245 -> {246 247}; 246 -> {258}; 247 -> {248}; 248 -> {249}; 249 -> {250}; 250 -> {251}; 251 -> {252}; 252 -> {253}; 253 -> {254}; 254 -> {255}; 255 -> {256}; 256 -> {257}; 257 -> {258}; 258 -> {259}; 259 -> {260}; 260 -> {261}; 261 -> {262}; 262 -> {263}; 263 -> {264}; 264 -> {265 266}; 265 -> {277}; 266 -> {267}; 267 -> {268}; 268 -> {269}; 269 -> {270}; 270 -> {271}; 271 -> {272}; 272 -> {273}; 273 -> {274}; 274 -> {275}; 275 -> {276}; 276 -> {277}; 277 -> {278}; 278 -> {279}; 279 -> {280}; 280 -> {281}; 281 -> {282}; 282 -> {283}; 283 -> {284}; 284 -> {285}; 285 -> {286 287}; 286 -> {299}; 287 -> {288}; 288 -> {289}; 289 -> {290}; 290 -> {291}; 291 -> {292}; 292 -> {293}; 293 -> {294}; 294 -> {295}; 295 -> {296}; 296 -> {297}; 297 -> {298}; 298 -> {299}; 299 -> {300}; 300 -> {301}; 301 -> {302}; 302 -> {303}; 303 -> {304}; 304 -> {305}; 305 -> {306}; 306 -> {307 308}; 307 -> {320}; 308 -> {309}; 309 -> {310}; 310 -> {311}; 311 -> {312}; 312 -> {313}; 313 -> {314} [style=dotted]; 314 -> {315} [style=dotted]; 315 -> {316} [style=dotted]; 316 -> {317} [style=dotted]; 317 -> {318} [style=dotted]; 318 -> {319} [style=dotted]; 319 -> {320} [style=dotted]; 320 -> {321}; 321 -> {322}; 322 -> {323}; 323 -> {324}; 324 -> {325}; 325 -> {326}; 326 -> {327 328}; 327 -> {340}; 328 -> {329}; 329 -> {330}; 330 -> {331}; 331 -> {332}; 332 -> {333}; 333 -> {334}; 334 -> {335}; 335 -> {336}; 336 -> {337}; 337 -> {338}; 338 -> {339}; 339 -> {340}; 340 -> {341}; 341 -> {342}; subgraph cluster_71 { color=red 343 [label="Enter function test_8" style="filled" fillcolor=red]; subgraph cluster_72 { color=blue 344 [label="Enter block"]; 345 [label="Const: Null(null)"]; 346 [label="Variable declaration: lval z: R|kotlin/String?|"]; 347 [label="Access variable R|/z|"]; 348 [label="Variable declaration: lvar y: R|kotlin/String?|"]; 349 [label="Access variable R|/y|"]; 350 [label="Variable declaration: lval x: R|kotlin/String?|"]; subgraph cluster_73 { color=blue 351 [label="Enter when"]; subgraph cluster_74 { color=blue 352 [label="Enter when branch condition "]; 353 [label="Access variable R|/x|"]; 354 [label="Const: Null(null)"]; 355 [label="Equality operator !="]; 356 [label="Exit when branch condition"]; } 357 [label="Synthetic else branch"]; 358 [label="Enter when branch result"]; subgraph cluster_75 { color=blue 359 [label="Enter block"]; 360 [label="Access variable R|/x|"]; 361 [label="Smart cast: R|/x|"]; 362 [label="Access variable R|kotlin/String.length|"]; 363 [label="Access variable R|/y|"]; 364 [label="Smart cast: R|/y|"]; 365 [label="Access variable R|kotlin/String.length|"]; 366 [label="Access variable R|/z|"]; 367 [label="Smart cast: R|/z|"]; 368 [label="Access variable R|kotlin/String.length|"]; 369 [label="Exit block"]; } 370 [label="Exit when branch result"]; 371 [label="Exit when"]; } subgraph cluster_76 { color=blue 372 [label="Enter when"]; subgraph cluster_77 { color=blue 373 [label="Enter when branch condition "]; 374 [label="Access variable R|/y|"]; 375 [label="Const: Null(null)"]; 376 [label="Equality operator !="]; 377 [label="Exit when branch condition"]; } 378 [label="Synthetic else branch"]; 379 [label="Enter when branch result"]; subgraph cluster_78 { color=blue 380 [label="Enter block"]; 381 [label="Access variable R|/x|"]; 382 [label="Smart cast: R|/x|"]; 383 [label="Access variable R|kotlin/String.length|"]; 384 [label="Access variable R|/y|"]; 385 [label="Smart cast: R|/y|"]; 386 [label="Access variable R|kotlin/String.length|"]; 387 [label="Access variable R|/z|"]; 388 [label="Smart cast: R|/z|"]; 389 [label="Access variable R|kotlin/String.length|"]; 390 [label="Exit block"]; } 391 [label="Exit when branch result"]; 392 [label="Exit when"]; } subgraph cluster_79 { color=blue 393 [label="Enter when"]; subgraph cluster_80 { color=blue 394 [label="Enter when branch condition "]; 395 [label="Access variable R|/z|"]; 396 [label="Const: Null(null)"]; 397 [label="Equality operator !="]; 398 [label="Exit when branch condition"]; } 399 [label="Synthetic else branch"]; 400 [label="Enter when branch result"]; subgraph cluster_81 { color=blue 401 [label="Enter block"]; 402 [label="Access variable R|/x|"]; 403 [label="Smart cast: R|/x|"]; 404 [label="Access variable R|kotlin/String.length|"]; 405 [label="Access variable R|/y|"]; 406 [label="Smart cast: R|/y|"]; 407 [label="Access variable R|kotlin/String.length|"]; 408 [label="Access variable R|/z|"]; 409 [label="Smart cast: R|/z|"]; 410 [label="Access variable R|kotlin/String.length|"]; 411 [label="Exit block"]; } 412 [label="Exit when branch result"]; 413 [label="Exit when"]; } 414 [label="Const: Null(null)"]; 415 [label="Assignment: R|/y|"]; subgraph cluster_82 { color=blue 416 [label="Enter when"]; subgraph cluster_83 { color=blue 417 [label="Enter when branch condition "]; 418 [label="Access variable R|/x|"]; 419 [label="Const: Null(null)"]; 420 [label="Equality operator !="]; 421 [label="Exit when branch condition"]; } 422 [label="Synthetic else branch"]; 423 [label="Enter when branch result"]; subgraph cluster_84 { color=blue 424 [label="Enter block"]; 425 [label="Access variable R|/x|"]; 426 [label="Smart cast: R|/x|"]; 427 [label="Access variable R|kotlin/String.length|"]; 428 [label="Access variable R|/y|"]; 429 [label="Smart cast: R|/y|"]; 430 [label="Access variable R|kotlin/String.length#|"]; 431 [label="Access variable R|/z|"]; 432 [label="Smart cast: R|/z|"]; 433 [label="Access variable R|kotlin/String.length|"]; 434 [label="Exit block"]; } 435 [label="Exit when branch result"]; 436 [label="Exit when"]; } subgraph cluster_85 { color=blue 437 [label="Enter when"]; subgraph cluster_86 { color=blue 438 [label="Enter when branch condition "]; 439 [label="Access variable R|/y|"]; 440 [label="Smart cast: R|/y|"]; 441 [label="Const: Null(null)"]; 442 [label="Equality operator !="]; 443 [label="Exit when branch condition"]; } 444 [label="Synthetic else branch"]; 445 [label="Enter when branch result"]; subgraph cluster_87 { color=blue 446 [label="Enter block"]; 447 [label="Access variable R|/x|"]; 448 [label="Access variable R|kotlin/String.length#|"]; 449 [label="Access variable R|/y|"]; 450 [label="Smart cast: R|/y|"]; 451 [label="Stub" style="filled" fillcolor=gray]; 452 [label="Access variable R|kotlin/String.length|" style="filled" fillcolor=gray]; 453 [label="Access variable R|/z|" style="filled" fillcolor=gray]; 454 [label="Access variable R|kotlin/String.length#|" style="filled" fillcolor=gray]; 455 [label="Exit block" style="filled" fillcolor=gray]; } 456 [label="Exit when branch result" style="filled" fillcolor=gray]; 457 [label="Exit when"]; } subgraph cluster_88 { color=blue 458 [label="Enter when"]; subgraph cluster_89 { color=blue 459 [label="Enter when branch condition "]; 460 [label="Access variable R|/z|"]; 461 [label="Const: Null(null)"]; 462 [label="Equality operator !="]; 463 [label="Exit when branch condition"]; } 464 [label="Synthetic else branch"]; 465 [label="Enter when branch result"]; subgraph cluster_90 { color=blue 466 [label="Enter block"]; 467 [label="Access variable R|/x|"]; 468 [label="Smart cast: R|/x|"]; 469 [label="Access variable R|kotlin/String.length|"]; 470 [label="Access variable R|/y|"]; 471 [label="Smart cast: R|/y|"]; 472 [label="Access variable R|kotlin/String.length#|"]; 473 [label="Access variable R|/z|"]; 474 [label="Smart cast: R|/z|"]; 475 [label="Access variable R|kotlin/String.length|"]; 476 [label="Exit block"]; } 477 [label="Exit when branch result"]; 478 [label="Exit when"]; } 479 [label="Exit block"]; } 480 [label="Exit function test_8" style="filled" fillcolor=red]; } 343 -> {344}; 344 -> {345}; 345 -> {346}; 346 -> {347}; 347 -> {348}; 348 -> {349}; 349 -> {350}; 350 -> {351}; 351 -> {352}; 352 -> {353}; 353 -> {354}; 354 -> {355}; 355 -> {356}; 356 -> {357 358}; 357 -> {371}; 358 -> {359}; 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}; 372 -> {373}; 373 -> {374}; 374 -> {375}; 375 -> {376}; 376 -> {377}; 377 -> {378 379}; 378 -> {392}; 379 -> {380}; 380 -> {381}; 381 -> {382}; 382 -> {383}; 383 -> {384}; 384 -> {385}; 385 -> {386}; 386 -> {387}; 387 -> {388}; 388 -> {389}; 389 -> {390}; 390 -> {391}; 391 -> {392}; 392 -> {393}; 393 -> {394}; 394 -> {395}; 395 -> {396}; 396 -> {397}; 397 -> {398}; 398 -> {399 400}; 399 -> {413}; 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 -> {416}; 416 -> {417}; 417 -> {418}; 418 -> {419}; 419 -> {420}; 420 -> {421}; 421 -> {422 423}; 422 -> {436}; 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 -> {439}; 439 -> {440}; 440 -> {441}; 441 -> {442}; 442 -> {443}; 443 -> {444 445}; 444 -> {457}; 445 -> {446}; 446 -> {447}; 447 -> {448}; 448 -> {449}; 449 -> {450}; 450 -> {451} [style=dotted]; 451 -> {452} [style=dotted]; 452 -> {453} [style=dotted]; 453 -> {454} [style=dotted]; 454 -> {455} [style=dotted]; 455 -> {456} [style=dotted]; 456 -> {457} [style=dotted]; 457 -> {458}; 458 -> {459}; 459 -> {460}; 460 -> {461}; 461 -> {462}; 462 -> {463}; 463 -> {464 465}; 464 -> {478}; 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}; subgraph cluster_91 { color=red 481 [label="Enter function test_9" style="filled" fillcolor=red]; subgraph cluster_92 { color=blue 482 [label="Enter block"]; 483 [label="Const: Null(null)"]; 484 [label="Variable declaration: lvar a: R|kotlin/String?|"]; 485 [label="Variable declaration: lval b: R|kotlin/String?|"]; subgraph cluster_93 { color=blue 486 [label="Enter when"]; subgraph cluster_94 { color=blue 487 [label="Enter when branch condition "]; 488 [label="Access variable R|/a|"]; 489 [label="Const: Null(null)"]; 490 [label="Equality operator !="]; 491 [label="Exit when branch condition"]; } subgraph cluster_95 { color=blue 492 [label="Enter when branch condition else"]; 493 [label="Exit when branch condition"]; } 494 [label="Enter when branch result"]; subgraph cluster_96 { color=blue 495 [label="Enter block"]; 496 [label="Access variable R|/a|"]; 497 [label="Smart cast: R|/a|"]; 498 [label="Assignment: R|/b|"]; 499 [label="Exit block"]; } 500 [label="Exit when branch result"]; 501 [label="Enter when branch result"]; subgraph cluster_97 { color=blue 502 [label="Enter block"]; 503 [label="Access variable R|/a|"]; 504 [label="Smart cast: R|/a|"]; 505 [label="Assignment: R|/b|"]; 506 [label="Exit block"]; } 507 [label="Exit when branch result"]; 508 [label="Exit when"]; } 509 [label="Access variable R|/b|"]; 510 [label="Access variable R|kotlin/String.length#|"]; subgraph cluster_98 { color=blue 511 [label="Enter when"]; subgraph cluster_99 { color=blue 512 [label="Enter when branch condition "]; 513 [label="Access variable R|/a|"]; 514 [label="Const: Null(null)"]; 515 [label="Equality operator !="]; 516 [label="Exit when branch condition"]; } 517 [label="Synthetic else branch"]; 518 [label="Enter when branch result"]; subgraph cluster_100 { color=blue 519 [label="Enter block"]; 520 [label="Access variable R|/b|"]; 521 [label="Smart cast: R|/b|"]; 522 [label="Access variable R|kotlin/String.length|"]; 523 [label="Exit block"]; } 524 [label="Exit when branch result"]; 525 [label="Exit when"]; } 526 [label="Exit block"]; } 527 [label="Exit function test_9" style="filled" fillcolor=red]; } 481 -> {482}; 482 -> {483}; 483 -> {484}; 484 -> {485}; 485 -> {486}; 486 -> {487}; 487 -> {488}; 488 -> {489}; 489 -> {490}; 490 -> {491}; 491 -> {492 501}; 492 -> {493}; 493 -> {494}; 494 -> {495}; 495 -> {496}; 496 -> {497}; 497 -> {498}; 498 -> {499}; 499 -> {500}; 500 -> {508}; 501 -> {502}; 502 -> {503}; 503 -> {504}; 504 -> {505}; 505 -> {506}; 506 -> {507}; 507 -> {508}; 508 -> {509}; 509 -> {510}; 510 -> {511}; 511 -> {512}; 512 -> {513}; 513 -> {514}; 514 -> {515}; 515 -> {516}; 516 -> {517 518}; 517 -> {525}; 518 -> {519}; 519 -> {520}; 520 -> {521}; 521 -> {522}; 522 -> {523}; 523 -> {524}; 524 -> {525}; 525 -> {526}; 526 -> {527}; }