5 N3[label="local mut x"];
6 N4[label="stmt let mut x = 23is;"];
8 N6[label="local mut y"];
9 N7[label="stmt let mut y = 23is;"];
10 N8[label="expr 23is"];
11 N9[label="local mut z"];
12 N10[label="stmt let mut z = 23is;"];
13 N11[label="(dummy_node)"];
15 N13[label="expr 0is"];
16 N14[label="expr x > 0is"];
17 N15[label="expr while x > 0is {\l x -= 1is;\l while y > 0is {\l y -= 1is;\l while z > 0is { z -= 1is; }\l if x > 10is { return; \"unreachable\"; }\l }\l}\l"];
18 N16[label="expr 1is"];
20 N18[label="expr x -= 1is"];
21 N19[label="stmt x -= 1is;"];
22 N20[label="(dummy_node)"];
24 N22[label="expr 0is"];
25 N23[label="expr y > 0is"];
26 N24[label="expr while y > 0is {\l y -= 1is;\l while z > 0is { z -= 1is; }\l if x > 10is { return; \"unreachable\"; }\l}\l"];
27 N25[label="expr 1is"];
29 N27[label="expr y -= 1is"];
30 N28[label="stmt y -= 1is;"];
31 N29[label="(dummy_node)"];
33 N31[label="expr 0is"];
34 N32[label="expr z > 0is"];
35 N33[label="expr while z > 0is { z -= 1is; }"];
36 N34[label="expr 1is"];
38 N36[label="expr z -= 1is"];
39 N37[label="stmt z -= 1is;"];
40 N38[label="block { z -= 1is; }"];
41 N39[label="stmt while z > 0is { z -= 1is; }"];
43 N41[label="expr 10is"];
44 N42[label="expr x > 10is"];
45 N43[label="expr return"];
46 N44[label="(dummy_node)"];
47 N45[label="stmt return;"];
48 N46[label="expr \"unreachable\""];
49 N47[label="stmt \"unreachable\";"];
50 N48[label="block { return; \"unreachable\"; }"];
51 N49[label="expr if x > 10is { return; \"unreachable\"; }"];
52 N50[label="block {\l y -= 1is;\l while z > 0is { z -= 1is; }\l if x > 10is { return; \"unreachable\"; }\l}\l"];
53 N51[label="block {\l x -= 1is;\l while y > 0is {\l y -= 1is;\l while z > 0is { z -= 1is; }\l if x > 10is { return; \"unreachable\"; }\l }\l}\l"];
54 N52[label="block {\l let mut x = 23is;\l let mut y = 23is;\l let mut z = 23is;\l while x > 0is {\l x -= 1is;\l while y > 0is {\l y -= 1is;\l while z > 0is { z -= 1is; }\l if x > 10is { return; \"unreachable\"; }\l }\l }\l}\l"];