Build custom predecessor and successor lists for each basic block.