>Phi just loads the value out of its shadow variable and assigns it to its implicit variable. Isn't this similar to block arguments? These shadow variables wou

>Phi just loads the value out of its shadow variable and assigns it to its implicit variable. Isn't this similar to block arguments? These shadow variables would have been block parameters, just unordered and maybe not explicitly collected in a set.