digraph SSA {
    ranksep=0.5;
    node[shape=box, margin=0.125];

    start[label="x₁ = 2 * 2 + 4\lx₂ = x₁ - 2\lbranch x₂ < 4\l"];

    start -> b0 [label="0"];
    start -> b1 [label="1"];

    b0[label="x₄ = 12"];
    b1[label="x₃ = 10"];

    b0 -> end;
    b1 -> end;
    end[label="x₅ = ɸ(x₃, x₄)\ly₁ = x₅ * 2\l"];
}