Handle basic block terminators