Currently Switch works on both booleans and integers.
This PR changes the Rvsdg struct to have an If that works on booleans and a Switch that works on integers.
This change required a significant amount of refactoring. For the translation to and from the milestone encoding, the current behavior is preserved by using Switch.
Currently
Switchworks on both booleans and integers. This PR changes the Rvsdg struct to have anIfthat works on booleans and aSwitchthat works on integers. This change required a significant amount of refactoring. For the translation to and from the milestone encoding, the current behavior is preserved by usingSwitch.