# CHECK-TREE: { z <- #true; y <- z; x <- y; #record { z : z, y : y, x : x }}
x = y = z = True