Interface IExplodedBasicBlock