MkTypeSwitchImplicitVariable
It represents the implicit declaration of a variable at the beginning of a case clause