I like the analogy of this framework to the two domains in the
FFT & IFFT world. Although, its analogy to virtual register is more
appropriate, I think. In the sense, we have mixed of predicate (Data Flow)
and Branch (Control Flow) after Partial Reverse If-Conversion, which is
unthinkable in FFT & IFFT world.