Implement decomposition for ControlIfBlock.