[NF] Minor fixes.

- Fix type when evaluating reductions.
- Don't do branch selection during typing for if-expressions with
  conditions that contain non-evaluatable expressions.

Belonging to [master]:
  - OpenModelica/OMCompiler#2423

Compiler/NFFrontEnd/NFCeval.mo

@@ -2177,7 +2177,7 @@ algorithm
       expl := evalReduction2(exp, el_ty, ranges_rest, iters_rest, origin) :: expl;
     end while;
 
-    result := Expression.ARRAY(el_ty, listReverseInPlace(expl));
+    result := Expression.ARRAY(ty, listReverseInPlace(expl));
   end if;
 end evalReduction2;
 

Compiler/NFFrontEnd/NFTyping.mo

@@ -1837,7 +1837,8 @@ algorithm
     fail();
   end if;
 
-  if cond_var <= Variability.STRUCTURAL_PARAMETER then
+  if cond_var <= Variability.STRUCTURAL_PARAMETER and
+    not Expression.contains(cond, isNonConstantIfCondition) then
     // If the condition is constant, always do branch selection.
     if evaluateCondition(cond, origin, info) then
       (ifExp, ty, var) := typeExp(tb, next_origin, info);