* Add implementation of ExtractBasicBlock()