Finalize SwitchingDisjunction.