[VarEnc] add thenFeature/elseFeature to featureSwitch annotations