Add Basic Blocks in Analysis stage to speed up Reaching Defs computation Specify CDGv2 with BB nodes and check it helps to reduce graph diameter while keeping CFG invariant by instruction reordering.