AST Creation Thing

ast-visualization.cube

if (some condition)
    var x    <- Reachable so I should create a binding to this variable x.
else  <- Assume relatively unreachable.
    var y    <- Unreachable. But I can't be sure if it's reachable (prolly related to Halting Problem?).
                So, I must create a binding so that the expressions that operate on y will run without an error and
                to take into account cases that this branch is actually reached.
                This seems like a waste of memory especially in large codebases.
    var z    <- Same as above with var y.