INSTR_Switch: from tvalue * tvalue * (tvalue * tident) list
              to tvalue * tident * (tvalue * tident) list