Call is extra nuanced, whilst control flow is handled as obligatory in partial collections. For insertions till no more modifications should be made it iterates over the codeblocks in reverse postorder to construct assignment & insert into applicable PHIs. Presumably this helps it improve information locality for these variables. With the unlikely codeblocks computed it iterates over all edge


