digraph flowFromInplaceLambda2_kt { graph [nodesep=3] node [shape=box penwidth=2] edge [penwidth=2] subgraph cluster_0 { color=red 0 [label="Enter file flowFromInplaceLambda2.kt" style="filled" fillcolor=red]; 1 [label="Exit file flowFromInplaceLambda2.kt" style="filled" fillcolor=red]; } 0 -> {1} [color=green]; subgraph cluster_1 { color=red 2 [label="Enter function foo" style="filled" fillcolor=red]; subgraph cluster_2 { color=blue 3 [label="Enter block"]; 4 [label="Exit block"]; } 5 [label="Exit function foo" style="filled" fillcolor=red]; } 2 -> {3}; 3 -> {4}; 4 -> {5}; subgraph cluster_3 { color=red 6 [label="Enter function id" style="filled" fillcolor=red]; subgraph cluster_4 { color=blue 7 [label="Enter block"]; 8 [label="Access variable R|/x|"]; 9 [label="Jump: ^id R|/x|"]; 10 [label="Stub" style="filled" fillcolor=gray]; 11 [label="Exit block" style="filled" fillcolor=gray]; } 12 [label="Exit function id" style="filled" fillcolor=red]; } 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 n" style="filled" fillcolor=red]; subgraph cluster_6 { color=blue 14 [label="Enter block"]; 15 [label="Const: Null(null)"]; 16 [label="Jump: ^n Null(null)"]; 17 [label="Stub" style="filled" fillcolor=gray]; 18 [label="Exit block" style="filled" fillcolor=gray]; } 19 [label="Exit function n" style="filled" fillcolor=red]; } 13 -> {14}; 14 -> {15}; 15 -> {16}; 16 -> {19}; 16 -> {17} [style=dotted]; 17 -> {18} [style=dotted]; 18 -> {19} [style=dotted]; subgraph cluster_7 { color=red 20 [label="Enter function someCompletedCall" style="filled" fillcolor=red]; subgraph cluster_8 { color=blue 21 [label="Enter block"]; 22 [label="Access variable R|/arg|"]; 23 [label="Jump: ^someCompletedCall R|/arg|"]; 24 [label="Stub" style="filled" fillcolor=gray]; 25 [label="Exit block" style="filled" fillcolor=gray]; } 26 [label="Exit function someCompletedCall" style="filled" fillcolor=red]; } 20 -> {21}; 21 -> {22}; 22 -> {23}; 23 -> {26}; 23 -> {24} [style=dotted]; 24 -> {25} [style=dotted]; 25 -> {26} [style=dotted]; subgraph cluster_9 { color=red 27 [label="Enter function test1" style="filled" fillcolor=red]; subgraph cluster_10 { color=blue 28 [label="Enter block"]; subgraph cluster_11 { color=blue 29 [label="Function call arguments enter"]; subgraph cluster_12 { color=blue 30 [label="Function call arguments enter"]; subgraph cluster_13 { color=blue 31 [label="Function call arguments enter"]; 32 [label="Postponed enter to lambda"]; subgraph cluster_14 { color=blue 33 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_15 { color=blue 34 [label="Enter block"]; 35 [label="Access variable R|/x|"]; 36 [label="Type operator: (R|/x| as R|kotlin/String|)"]; subgraph cluster_16 { color=blue 37 [label="Function call arguments enter"]; 38 [label="Function call arguments exit"]; } 39 [label="Function call: R|/n|()" style="filled" fillcolor=yellow]; 40 [label="Exit block"]; } 41 [label="Exit function " style="filled" fillcolor=red]; } 42 [label="Function call arguments exit"]; } 43 [label="Postponed exit from lambda"]; 44 [label="Function call: R|kotlin/run|(...)" style="filled" fillcolor=yellow]; 45 [label="Function call arguments exit"]; } 46 [label="Function call: R|/id|(...)" style="filled" fillcolor=yellow]; 47 [label="Const: Int(1)"]; subgraph cluster_17 { color=blue 48 [label="Function call arguments enter"]; 49 [label="Postponed enter to lambda"]; subgraph cluster_18 { color=blue 50 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_19 { color=blue 51 [label="Enter block"]; 52 [label="Access variable R|/x|"]; 53 [label="Access variable R|kotlin/String.length#|"]; 54 [label="Const: Int(123)"]; 55 [label="Exit block"]; } 56 [label="Exit function " style="filled" fillcolor=red]; } 57 [label="Function call arguments exit"]; } 58 [label="Postponed exit from lambda"]; 59 [label="Function call: R|kotlin/run|(...)" style="filled" fillcolor=yellow]; 60 [label="Function call arguments exit"]; } 61 [label="Function call: R|/foo|(...)" style="filled" fillcolor=yellow]; 62 [label="Access variable R|/x|"]; 63 [label="Access variable R|kotlin/String.length#|"]; 64 [label="Exit block"]; } 65 [label="Exit function test1" style="filled" fillcolor=red]; } 27 -> {28}; 28 -> {29}; 29 -> {30}; 30 -> {31}; 31 -> {32}; 32 -> {33 42}; 32 -> {43} [style=dotted]; 32 -> {33} [style=dashed]; 33 -> {34}; 34 -> {35}; 35 -> {36}; 36 -> {37}; 37 -> {38}; 38 -> {39}; 39 -> {40}; 40 -> {41}; 41 -> {43}; 42 -> {44}; 43 -> {44} [color=green]; 43 -> {61} [color=red label="Postponed"]; 44 -> {45}; 45 -> {46}; 46 -> {47}; 47 -> {48}; 48 -> {49}; 49 -> {50 57}; 49 -> {58} [style=dotted]; 49 -> {50} [style=dashed]; 50 -> {51}; 51 -> {52}; 52 -> {53}; 53 -> {54}; 54 -> {55}; 55 -> {56}; 56 -> {58}; 57 -> {59}; 58 -> {59} [color=green]; 58 -> {61} [color=red label="Postponed"]; 59 -> {60}; 60 -> {61}; 61 -> {62}; 62 -> {63}; 63 -> {64}; 64 -> {65}; subgraph cluster_20 { color=red 66 [label="Enter function test2" style="filled" fillcolor=red]; subgraph cluster_21 { color=blue 67 [label="Enter block"]; subgraph cluster_22 { color=blue 68 [label="Function call arguments enter"]; subgraph cluster_23 { color=blue 69 [label="Function call arguments enter"]; subgraph cluster_24 { color=blue 70 [label="Function call arguments enter"]; 71 [label="Postponed enter to lambda"]; subgraph cluster_25 { color=blue 72 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_26 { color=blue 73 [label="Enter block"]; 74 [label="Access variable R|/x|"]; 75 [label="Type operator: (R|/x| as R|kotlin/String|)"]; subgraph cluster_27 { color=blue 76 [label="Function call arguments enter"]; 77 [label="Function call arguments exit"]; } 78 [label="Function call: R|/n|()" style="filled" fillcolor=yellow]; 79 [label="Exit block"]; } 80 [label="Exit function " style="filled" fillcolor=red]; } 81 [label="Function call arguments exit"]; } 82 [label="Postponed exit from lambda"]; 83 [label="Function call: R|kotlin/run|(...)" style="filled" fillcolor=yellow]; 84 [label="Function call arguments exit"]; } 85 [label="Function call: R|/id|(...)" style="filled" fillcolor=yellow]; subgraph cluster_28 { color=blue 86 [label="Function call arguments enter"]; 87 [label="Const: Int(1)"]; 88 [label="Function call arguments exit"]; } 89 [label="Function call: R|/someCompletedCall|(...)" style="filled" fillcolor=yellow]; subgraph cluster_29 { color=blue 90 [label="Function call arguments enter"]; 91 [label="Postponed enter to lambda"]; subgraph cluster_30 { color=blue 92 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_31 { color=blue 93 [label="Enter block"]; 94 [label="Access variable R|/x|"]; 95 [label="Access variable R|kotlin/String.length#|"]; 96 [label="Const: Int(123)"]; 97 [label="Exit block"]; } 98 [label="Exit function " style="filled" fillcolor=red]; } 99 [label="Function call arguments exit"]; } 100 [label="Postponed exit from lambda"]; 101 [label="Function call: R|kotlin/run|(...)" style="filled" fillcolor=yellow]; 102 [label="Function call arguments exit"]; } 103 [label="Function call: R|/foo|(...)" style="filled" fillcolor=yellow]; 104 [label="Access variable R|/x|"]; 105 [label="Access variable R|kotlin/String.length#|"]; 106 [label="Exit block"]; } 107 [label="Exit function test2" style="filled" fillcolor=red]; } 66 -> {67}; 67 -> {68}; 68 -> {69}; 69 -> {70}; 70 -> {71}; 71 -> {72 81}; 71 -> {82} [style=dotted]; 71 -> {72} [style=dashed]; 72 -> {73}; 73 -> {74}; 74 -> {75}; 75 -> {76}; 76 -> {77}; 77 -> {78}; 78 -> {79}; 79 -> {80}; 80 -> {82}; 81 -> {83}; 82 -> {83} [color=green]; 82 -> {103} [color=red label="Postponed"]; 83 -> {84}; 84 -> {85}; 85 -> {86}; 86 -> {87}; 87 -> {88}; 88 -> {89}; 89 -> {90}; 90 -> {91}; 91 -> {92 99}; 91 -> {100} [style=dotted]; 91 -> {92} [style=dashed]; 92 -> {93}; 93 -> {94}; 94 -> {95}; 95 -> {96}; 96 -> {97}; 97 -> {98}; 98 -> {100}; 99 -> {101}; 100 -> {101} [color=green]; 100 -> {103} [color=red label="Postponed"]; 101 -> {102}; 102 -> {103}; 103 -> {104}; 104 -> {105}; 105 -> {106}; 106 -> {107}; subgraph cluster_32 { color=red 108 [label="Enter function test3" style="filled" fillcolor=red]; subgraph cluster_33 { color=blue 109 [label="Enter block"]; subgraph cluster_34 { color=blue 110 [label="Function call arguments enter"]; subgraph cluster_35 { color=blue 111 [label="Function call arguments enter"]; subgraph cluster_36 { color=blue 112 [label="Function call arguments enter"]; 113 [label="Postponed enter to lambda"]; subgraph cluster_37 { color=blue 114 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_38 { color=blue 115 [label="Enter block"]; 116 [label="Access variable R|/x|"]; 117 [label="Type operator: (R|/x| as R|kotlin/String|)"]; subgraph cluster_39 { color=blue 118 [label="Function call arguments enter"]; 119 [label="Function call arguments exit"]; } 120 [label="Function call: R|/n|()" style="filled" fillcolor=yellow]; 121 [label="Exit block"]; } 122 [label="Exit function " style="filled" fillcolor=red]; } 123 [label="Function call arguments exit"]; } 124 [label="Postponed exit from lambda"]; 125 [label="Function call: R|kotlin/run|(...)" style="filled" fillcolor=yellow]; 126 [label="Function call arguments exit"]; } 127 [label="Function call: R|/id|(...)" style="filled" fillcolor=yellow]; subgraph cluster_40 { color=blue 128 [label="Enter when"]; subgraph cluster_41 { color=blue 129 [label="Enter when branch condition "]; 130 [label="Const: Boolean(true)"]; 131 [label="Exit when branch condition"]; } subgraph cluster_42 { color=blue 132 [label="Enter when branch condition else"]; 133 [label="Exit when branch condition"]; } 134 [label="Enter when branch result"]; subgraph cluster_43 { color=blue 135 [label="Enter block"]; 136 [label="Const: Int(2)"]; 137 [label="Exit block"]; } 138 [label="Exit when branch result"]; 139 [label="Enter when branch result"]; subgraph cluster_44 { color=blue 140 [label="Enter block"]; 141 [label="Const: Int(1)"]; 142 [label="Exit block"]; } 143 [label="Exit when branch result"]; 144 [label="Exit when"]; } subgraph cluster_45 { color=blue 145 [label="Function call arguments enter"]; 146 [label="Postponed enter to lambda"]; subgraph cluster_46 { color=blue 147 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_47 { color=blue 148 [label="Enter block"]; 149 [label="Access variable R|/x|"]; 150 [label="Access variable R|kotlin/String.length#|"]; 151 [label="Const: Int(123)"]; 152 [label="Exit block"]; } 153 [label="Exit function " style="filled" fillcolor=red]; } 154 [label="Function call arguments exit"]; } 155 [label="Postponed exit from lambda"]; 156 [label="Function call: R|kotlin/run|(...)" style="filled" fillcolor=yellow]; 157 [label="Function call arguments exit"]; } 158 [label="Function call: R|/foo|(...)" style="filled" fillcolor=yellow]; 159 [label="Access variable R|/x|"]; 160 [label="Access variable R|kotlin/String.length#|"]; 161 [label="Exit block"]; } 162 [label="Exit function test3" style="filled" fillcolor=red]; } 108 -> {109}; 109 -> {110}; 110 -> {111}; 111 -> {112}; 112 -> {113}; 113 -> {114 123}; 113 -> {124} [style=dotted]; 113 -> {114} [style=dashed]; 114 -> {115}; 115 -> {116}; 116 -> {117}; 117 -> {118}; 118 -> {119}; 119 -> {120}; 120 -> {121}; 121 -> {122}; 122 -> {124}; 123 -> {125}; 124 -> {125} [color=green]; 124 -> {158} [color=red label="Postponed"]; 125 -> {126}; 126 -> {127}; 127 -> {128}; 128 -> {129}; 129 -> {130}; 130 -> {131}; 131 -> {132 139}; 132 -> {133}; 133 -> {134}; 134 -> {135}; 135 -> {136}; 136 -> {137}; 137 -> {138}; 138 -> {144}; 139 -> {140}; 140 -> {141}; 141 -> {142}; 142 -> {143}; 143 -> {144}; 144 -> {145}; 145 -> {146}; 146 -> {147 154}; 146 -> {155} [style=dotted]; 146 -> {147} [style=dashed]; 147 -> {148}; 148 -> {149}; 149 -> {150}; 150 -> {151}; 151 -> {152}; 152 -> {153}; 153 -> {155}; 154 -> {156}; 155 -> {156} [color=green]; 155 -> {158} [color=red label="Postponed"]; 156 -> {157}; 157 -> {158}; 158 -> {159}; 159 -> {160}; 160 -> {161}; 161 -> {162}; subgraph cluster_48 { color=red 163 [label="Enter function test4" style="filled" fillcolor=red]; subgraph cluster_49 { color=blue 164 [label="Enter block"]; 165 [label="Access variable R|/x|"]; 166 [label="Variable declaration: lvar p: R|kotlin/String?|"]; subgraph cluster_50 { color=blue 167 [label="Enter when"]; subgraph cluster_51 { color=blue 168 [label="Enter when branch condition "]; 169 [label="Access variable R|/p|"]; 170 [label="Const: Null(null)"]; 171 [label="Equality operator !="]; 172 [label="Exit when branch condition"]; } 173 [label="Synthetic else branch"]; 174 [label="Enter when branch result"]; subgraph cluster_52 { color=blue 175 [label="Enter block"]; subgraph cluster_53 { color=blue 176 [label="Function call arguments enter"]; subgraph cluster_54 { color=blue 177 [label="Function call arguments enter"]; subgraph cluster_55 { color=blue 178 [label="Enter when"]; subgraph cluster_56 { color=blue 179 [label="Enter when branch condition "]; 180 [label="Const: Boolean(true)"]; 181 [label="Exit when branch condition"]; } subgraph cluster_57 { color=blue 182 [label="Enter when branch condition else"]; 183 [label="Exit when branch condition"]; } 184 [label="Enter when branch result"]; subgraph cluster_58 { color=blue 185 [label="Enter block"]; subgraph cluster_59 { color=blue 186 [label="Function call arguments enter"]; 187 [label="Postponed enter to lambda"]; subgraph cluster_60 { color=blue 188 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_61 { color=blue 189 [label="Enter block"]; subgraph cluster_62 { color=blue 190 [label="Function call arguments enter"]; 191 [label="Function call arguments exit"]; } 192 [label="Function call: R|/n|()" style="filled" fillcolor=yellow]; 193 [label="Exit block"]; } 194 [label="Exit function " style="filled" fillcolor=red]; } 195 [label="Function call arguments exit"]; } 196 [label="Postponed exit from lambda"]; 197 [label="Function call: R|kotlin/run|(...)" style="filled" fillcolor=yellow]; 198 [label="Exit block"]; } 199 [label="Exit when branch result"]; 200 [label="Enter when branch result"]; subgraph cluster_63 { color=blue 201 [label="Enter block"]; subgraph cluster_64 { color=blue 202 [label="Function call arguments enter"]; 203 [label="Postponed enter to lambda"]; subgraph cluster_65 { color=blue 204 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_66 { color=blue 205 [label="Enter block"]; 206 [label="Const: Null(null)"]; 207 [label="Assignment: R|/p|"]; subgraph cluster_67 { color=blue 208 [label="Function call arguments enter"]; 209 [label="Function call arguments exit"]; } 210 [label="Function call: R|/n|()" style="filled" fillcolor=yellow]; 211 [label="Exit block"]; } 212 [label="Exit function " style="filled" fillcolor=red]; } 213 [label="Function call arguments exit"]; } 214 [label="Postponed exit from lambda"]; 215 [label="Function call: R|kotlin/run|(...)" style="filled" fillcolor=yellow]; 216 [label="Exit block"]; } 217 [label="Exit when branch result"]; 218 [label="Exit when"]; } 219 [label="Function call arguments exit"]; } 220 [label="Function call: R|/id|(...)" style="filled" fillcolor=yellow]; 221 [label="Const: Int(1)"]; subgraph cluster_68 { color=blue 222 [label="Function call arguments enter"]; 223 [label="Postponed enter to lambda"]; subgraph cluster_69 { color=blue 224 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_70 { color=blue 225 [label="Enter block"]; 226 [label="Access variable R|/p|"]; 227 [label="Smart cast: R|/p|"]; 228 [label="Access variable R|kotlin/String.length#|"]; 229 [label="Const: Int(123)"]; 230 [label="Exit block"]; } 231 [label="Exit function " style="filled" fillcolor=red]; } 232 [label="Function call arguments exit"]; } 233 [label="Postponed exit from lambda"]; 234 [label="Function call: R|kotlin/run|(...)" style="filled" fillcolor=yellow]; 235 [label="Function call arguments exit"]; } 236 [label="Merge postponed lambda exits"]; 237 [label="Function call: R|/foo|(...)" style="filled" fillcolor=yellow]; 238 [label="Access variable R|/p|"]; 239 [label="Access variable R|kotlin/String.length#|"]; 240 [label="Exit block"]; } 241 [label="Exit when branch result"]; 242 [label="Exit when"]; } 243 [label="Exit block"]; } 244 [label="Exit function test4" style="filled" fillcolor=red]; } 163 -> {164}; 164 -> {165}; 165 -> {166}; 166 -> {167}; 167 -> {168}; 168 -> {169}; 169 -> {170}; 170 -> {171}; 171 -> {172}; 172 -> {173 174}; 173 -> {242}; 174 -> {175}; 175 -> {176}; 176 -> {177}; 177 -> {178}; 178 -> {179}; 179 -> {180}; 180 -> {181}; 181 -> {182 200}; 182 -> {183}; 183 -> {184}; 184 -> {185}; 185 -> {186}; 186 -> {187}; 187 -> {188 195}; 187 -> {196} [style=dotted]; 187 -> {188} [style=dashed]; 188 -> {189}; 189 -> {190}; 190 -> {191}; 191 -> {192}; 192 -> {193}; 193 -> {194}; 194 -> {196}; 195 -> {197}; 196 -> {197} [color=green]; 196 -> {236} [color=red]; 197 -> {198}; 198 -> {199}; 199 -> {218}; 200 -> {201}; 201 -> {202}; 202 -> {203}; 203 -> {204 213}; 203 -> {214} [style=dotted]; 203 -> {204} [style=dashed]; 204 -> {205}; 205 -> {206}; 206 -> {207}; 207 -> {208}; 208 -> {209}; 209 -> {210}; 210 -> {211}; 211 -> {212}; 212 -> {214}; 213 -> {215}; 214 -> {215} [color=green]; 214 -> {236} [color=red]; 215 -> {216}; 216 -> {217}; 217 -> {218}; 218 -> {219 236}; 219 -> {220}; 220 -> {221}; 221 -> {222}; 222 -> {223}; 223 -> {224 232}; 223 -> {233} [style=dotted]; 223 -> {224} [style=dashed]; 224 -> {225}; 225 -> {226}; 226 -> {227}; 227 -> {228}; 228 -> {229}; 229 -> {230}; 230 -> {231}; 231 -> {233}; 232 -> {234}; 233 -> {234} [color=green]; 233 -> {237} [color=red label="Postponed"]; 234 -> {235}; 235 -> {237}; 236 -> {237} [color=red label="Postponed"]; 237 -> {238}; 238 -> {239}; 239 -> {240}; 240 -> {241}; 241 -> {242}; 242 -> {243}; 243 -> {244}; subgraph cluster_71 { color=red 245 [label="Enter function test5" style="filled" fillcolor=red]; subgraph cluster_72 { color=blue 246 [label="Enter block"]; subgraph cluster_73 { color=blue 247 [label="Function call arguments enter"]; 248 [label="Access variable R|/y|"]; 249 [label="Enter safe call"]; subgraph cluster_74 { color=blue 250 [label="Function call arguments enter"]; 251 [label="Postponed enter to lambda"]; subgraph cluster_75 { color=blue 252 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_76 { color=blue 253 [label="Enter block"]; 254 [label="Access variable R|/x|"]; 255 [label="Type operator: (R|/x| as R|kotlin/String|)"]; subgraph cluster_77 { color=blue 256 [label="Function call arguments enter"]; 257 [label="Function call arguments exit"]; } 258 [label="Function call: R|/n|()" style="filled" fillcolor=yellow]; 259 [label="Exit block"]; } 260 [label="Exit function " style="filled" fillcolor=red]; } 261 [label="Function call arguments exit"]; } 262 [label="Postponed exit from lambda"]; 263 [label="Function call: $subj$.R|kotlin/let|(...)" style="filled" fillcolor=yellow]; 264 [label="Exit safe call"]; 265 [label="Const: Int(1)"]; subgraph cluster_78 { color=blue 266 [label="Function call arguments enter"]; 267 [label="Postponed enter to lambda"]; subgraph cluster_79 { color=blue 268 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_80 { color=blue 269 [label="Enter block"]; 270 [label="Const: String()"]; 271 [label="Exit block"]; } 272 [label="Exit function " style="filled" fillcolor=red]; } 273 [label="Function call arguments exit"]; } 274 [label="Postponed exit from lambda"]; 275 [label="Function call: R|kotlin/run|(...)" style="filled" fillcolor=yellow]; 276 [label="Function call arguments exit"]; } 277 [label="Merge postponed lambda exits"]; 278 [label="Function call: R|/foo|(...)" style="filled" fillcolor=yellow]; 279 [label="Access variable R|/x|"]; 280 [label="Access variable R|kotlin/String.length#|"]; 281 [label="Exit block"]; } 282 [label="Exit function test5" style="filled" fillcolor=red]; } 245 -> {246}; 246 -> {247}; 247 -> {248}; 248 -> {249 264}; 249 -> {250}; 250 -> {251}; 251 -> {252 261}; 251 -> {262} [style=dotted]; 251 -> {252} [style=dashed]; 252 -> {253}; 253 -> {254}; 254 -> {255}; 255 -> {256}; 256 -> {257}; 257 -> {258}; 258 -> {259}; 259 -> {260}; 260 -> {262}; 261 -> {263}; 262 -> {263} [color=green]; 262 -> {277} [color=red]; 263 -> {264}; 264 -> {265 277}; 265 -> {266}; 266 -> {267}; 267 -> {268 273}; 267 -> {274} [style=dotted]; 267 -> {268} [style=dashed]; 268 -> {269}; 269 -> {270}; 270 -> {271}; 271 -> {272}; 272 -> {274}; 273 -> {275}; 274 -> {275} [color=green]; 274 -> {278} [color=red label="Postponed"]; 275 -> {276}; 276 -> {278}; 277 -> {278} [color=red label="Postponed"]; 278 -> {279}; 279 -> {280}; 280 -> {281}; 281 -> {282}; subgraph cluster_81 { color=red 283 [label="Enter function test6" style="filled" fillcolor=red]; subgraph cluster_82 { color=blue 284 [label="Enter block"]; subgraph cluster_83 { color=blue 285 [label="Function call arguments enter"]; subgraph cluster_84 { color=blue 286 [label="Function call arguments enter"]; subgraph cluster_85 { color=blue 287 [label="Enter when"]; subgraph cluster_86 { color=blue 288 [label="Enter when branch condition "]; 289 [label="Const: Boolean(true)"]; 290 [label="Exit when branch condition"]; } subgraph cluster_87 { color=blue 291 [label="Enter when branch condition else"]; 292 [label="Exit when branch condition"]; } 293 [label="Enter when branch result"]; subgraph cluster_88 { color=blue 294 [label="Enter block"]; subgraph cluster_89 { color=blue 295 [label="Function call arguments enter"]; 296 [label="Postponed enter to lambda"]; subgraph cluster_90 { color=blue 297 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_91 { color=blue 298 [label="Enter block"]; 299 [label="Access variable R|/x|"]; 300 [label="Type operator: (R|/x| as R|kotlin/String|)"]; subgraph cluster_92 { color=blue 301 [label="Function call arguments enter"]; 302 [label="Function call arguments exit"]; } 303 [label="Function call: R|/n|()" style="filled" fillcolor=yellow]; 304 [label="Exit block"]; } 305 [label="Exit function " style="filled" fillcolor=red]; } 306 [label="Function call arguments exit"]; } 307 [label="Postponed exit from lambda"]; 308 [label="Function call: R|kotlin/run|(...)" style="filled" fillcolor=yellow]; 309 [label="Exit block"]; } 310 [label="Exit when branch result"]; 311 [label="Enter when branch result"]; subgraph cluster_93 { color=blue 312 [label="Enter block"]; subgraph cluster_94 { color=blue 313 [label="Function call arguments enter"]; 314 [label="Postponed enter to lambda"]; subgraph cluster_95 { color=blue 315 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_96 { color=blue 316 [label="Enter block"]; 317 [label="Access variable R|/x|"]; 318 [label="Type operator: (R|/x| as R|kotlin/String|)"]; subgraph cluster_97 { color=blue 319 [label="Function call arguments enter"]; 320 [label="Function call arguments exit"]; } 321 [label="Function call: R|/n|()" style="filled" fillcolor=yellow]; 322 [label="Exit block"]; } 323 [label="Exit function " style="filled" fillcolor=red]; } 324 [label="Function call arguments exit"]; } 325 [label="Postponed exit from lambda"]; 326 [label="Function call: R|kotlin/run|(...)" style="filled" fillcolor=yellow]; 327 [label="Exit block"]; } 328 [label="Exit when branch result"]; 329 [label="Exit when"]; } 330 [label="Function call arguments exit"]; } 331 [label="Function call: R|/id|(...)" style="filled" fillcolor=yellow]; 332 [label="Const: Int(1)"]; subgraph cluster_98 { color=blue 333 [label="Function call arguments enter"]; 334 [label="Postponed enter to lambda"]; subgraph cluster_99 { color=blue 335 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_100 { color=blue 336 [label="Enter block"]; 337 [label="Access variable R|/x|"]; 338 [label="Access variable R|kotlin/String.length#|"]; 339 [label="Const: Int(123)"]; 340 [label="Exit block"]; } 341 [label="Exit function " style="filled" fillcolor=red]; } 342 [label="Function call arguments exit"]; } 343 [label="Postponed exit from lambda"]; 344 [label="Function call: R|kotlin/run|(...)" style="filled" fillcolor=yellow]; 345 [label="Function call arguments exit"]; } 346 [label="Merge postponed lambda exits"]; 347 [label="Function call: R|/foo|(...)" style="filled" fillcolor=yellow]; 348 [label="Access variable R|/x|"]; 349 [label="Access variable R|kotlin/String.length#|"]; 350 [label="Exit block"]; } 351 [label="Exit function test6" style="filled" fillcolor=red]; } 283 -> {284}; 284 -> {285}; 285 -> {286}; 286 -> {287}; 287 -> {288}; 288 -> {289}; 289 -> {290}; 290 -> {291 311}; 291 -> {292}; 292 -> {293}; 293 -> {294}; 294 -> {295}; 295 -> {296}; 296 -> {297 306}; 296 -> {307} [style=dotted]; 296 -> {297} [style=dashed]; 297 -> {298}; 298 -> {299}; 299 -> {300}; 300 -> {301}; 301 -> {302}; 302 -> {303}; 303 -> {304}; 304 -> {305}; 305 -> {307}; 306 -> {308}; 307 -> {308} [color=green]; 307 -> {346} [color=red]; 308 -> {309}; 309 -> {310}; 310 -> {329}; 311 -> {312}; 312 -> {313}; 313 -> {314}; 314 -> {315 324}; 314 -> {325} [style=dotted]; 314 -> {315} [style=dashed]; 315 -> {316}; 316 -> {317}; 317 -> {318}; 318 -> {319}; 319 -> {320}; 320 -> {321}; 321 -> {322}; 322 -> {323}; 323 -> {325}; 324 -> {326}; 325 -> {326} [color=green]; 325 -> {346} [color=red]; 326 -> {327}; 327 -> {328}; 328 -> {329}; 329 -> {330 346}; 330 -> {331}; 331 -> {332}; 332 -> {333}; 333 -> {334}; 334 -> {335 342}; 334 -> {343} [style=dotted]; 334 -> {335} [style=dashed]; 335 -> {336}; 336 -> {337}; 337 -> {338}; 338 -> {339}; 339 -> {340}; 340 -> {341}; 341 -> {343}; 342 -> {344}; 343 -> {344} [color=green]; 343 -> {347} [color=red label="Postponed"]; 344 -> {345}; 345 -> {347}; 346 -> {347} [color=red label="Postponed"]; 347 -> {348}; 348 -> {349}; 349 -> {350}; 350 -> {351}; subgraph cluster_101 { color=red 352 [label="Enter function test7" style="filled" fillcolor=red]; subgraph cluster_102 { color=blue 353 [label="Enter block"]; 354 [label="Access variable R|/x|"]; 355 [label="Variable declaration: lvar p: R|kotlin/String?|"]; subgraph cluster_103 { color=blue 356 [label="Enter when"]; subgraph cluster_104 { color=blue 357 [label="Enter when branch condition "]; 358 [label="Access variable R|/p|"]; 359 [label="Const: Null(null)"]; 360 [label="Equality operator !="]; 361 [label="Exit when branch condition"]; } 362 [label="Synthetic else branch"]; 363 [label="Enter when branch result"]; subgraph cluster_105 { color=blue 364 [label="Enter block"]; subgraph cluster_106 { color=blue 365 [label="Function call arguments enter"]; subgraph cluster_107 { color=blue 366 [label="Function call arguments enter"]; subgraph cluster_108 { color=blue 367 [label="Function call arguments enter"]; 368 [label="Postponed enter to lambda"]; subgraph cluster_109 { color=blue 369 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_110 { color=blue 370 [label="Enter block"]; 371 [label="Const: Null(null)"]; 372 [label="Assignment: R|/p|"]; subgraph cluster_111 { color=blue 373 [label="Function call arguments enter"]; 374 [label="Function call arguments exit"]; } 375 [label="Function call: R|/n|()" style="filled" fillcolor=yellow]; 376 [label="Exit block"]; } 377 [label="Exit function " style="filled" fillcolor=red]; } 378 [label="Function call arguments exit"]; } 379 [label="Postponed exit from lambda"]; 380 [label="Function call: R|kotlin/run|(...)" style="filled" fillcolor=yellow]; 381 [label="Function call arguments exit"]; } 382 [label="Function call: R|/id|(...)" style="filled" fillcolor=yellow]; 383 [label="Const: Int(1)"]; subgraph cluster_112 { color=blue 384 [label="Function call arguments enter"]; 385 [label="Postponed enter to lambda"]; subgraph cluster_113 { color=blue 386 [label="Enter function " style="filled" fillcolor=red]; subgraph cluster_114 { color=blue 387 [label="Enter block"]; 388 [label="Access variable R|/p|"]; 389 [label="Smart cast: R|/p|"]; 390 [label="Access variable R|kotlin/String.length#|"]; 391 [label="Const: Int(123)"]; 392 [label="Exit block"]; } 393 [label="Exit function " style="filled" fillcolor=red]; } 394 [label="Function call arguments exit"]; } 395 [label="Postponed exit from lambda"]; 396 [label="Function call: R|kotlin/run|(...)" style="filled" fillcolor=yellow]; 397 [label="Function call arguments exit"]; } 398 [label="Function call: R|/foo|(...)" style="filled" fillcolor=yellow]; 399 [label="Access variable R|/p|"]; 400 [label="Access variable R|kotlin/String.length#|"]; 401 [label="Exit block"]; } 402 [label="Exit when branch result"]; 403 [label="Exit when"]; } 404 [label="Exit block"]; } 405 [label="Exit function test7" style="filled" fillcolor=red]; } 352 -> {353}; 353 -> {354}; 354 -> {355}; 355 -> {356}; 356 -> {357}; 357 -> {358}; 358 -> {359}; 359 -> {360}; 360 -> {361}; 361 -> {362 363}; 362 -> {403}; 363 -> {364}; 364 -> {365}; 365 -> {366}; 366 -> {367}; 367 -> {368}; 368 -> {369 378}; 368 -> {379} [style=dotted]; 368 -> {369} [style=dashed]; 369 -> {370}; 370 -> {371}; 371 -> {372}; 372 -> {373}; 373 -> {374}; 374 -> {375}; 375 -> {376}; 376 -> {377}; 377 -> {379}; 378 -> {380}; 379 -> {380} [color=green]; 379 -> {398} [color=red label="Postponed"]; 380 -> {381}; 381 -> {382}; 382 -> {383}; 383 -> {384}; 384 -> {385}; 385 -> {386 394}; 385 -> {395} [style=dotted]; 385 -> {386} [style=dashed]; 386 -> {387}; 387 -> {388}; 388 -> {389}; 389 -> {390}; 390 -> {391}; 391 -> {392}; 392 -> {393}; 393 -> {395}; 394 -> {396}; 395 -> {396} [color=green]; 395 -> {398} [color=red label="Postponed"]; 396 -> {397}; 397 -> {398}; 398 -> {399}; 399 -> {400}; 400 -> {401}; 401 -> {402}; 402 -> {403}; 403 -> {404}; 404 -> {405}; }