Table cil_switch

predicate cil_switch(@cil_switch instruction, int index, @cil_instruction target)