This IR was designed specifically for dataflow, with analysis and source code generation in mind, so that it is easier to analyze and transform than source code or lower-level IRs (such as LLVM [19]), ...