Creates LabeledTABLESWITCH instructions with Symbols as the branch targets.
Creates LabeledTABLESWITCH instructions with Symbols as the branch targets.
The first target is chosen when the branch value has the value low.
The second target is chosen if the value is low+1 etc.
Defines constants and factory methods.