discriminant_switch_effect
...that allows arbitrary effects on each edge of a `SwitchInt` terminator.