digraph simple_kt { graph [nodesep=3] node [shape=box penwidth=2] edge [penwidth=2] subgraph cluster_0 { color=red 0 [label="Enter file simple.kt" style="filled" fillcolor=red]; 1 [label="Exit file simple.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 test" style="filled" fillcolor=red]; subgraph cluster_4 { color=blue 7 [label="Enter block"]; 8 [label="Const: Int(1)"]; 9 [label="Variable declaration: lval x: R|kotlin/Int|"]; subgraph cluster_5 { color=blue 10 [label="Function call arguments enter"]; 11 [label="Access variable R|/x|"]; 12 [label="Const: Int(1)"]; 13 [label="Function call arguments exit"]; } 14 [label="Function call: R|/x|.R|kotlin/Int.plus|(...)" style="filled" fillcolor=yellow]; 15 [label="Variable declaration: lval y: R|kotlin/Int|"]; subgraph cluster_6 { color=blue 16 [label="Function call arguments enter"]; 17 [label="Function call arguments exit"]; } 18 [label="Function call: R|/foo|()" style="filled" fillcolor=yellow]; 19 [label="Exit block"]; } 20 [label="Exit function test" style="filled" fillcolor=red]; } 6 -> {7}; 7 -> {8}; 8 -> {9}; 9 -> {10}; 10 -> {11}; 11 -> {12}; 12 -> {13}; 13 -> {14}; 14 -> {15}; 15 -> {16}; 16 -> {17}; 17 -> {18}; 18 -> {19}; 19 -> {20}; }