improved inline-function

- disable guard inside addReplacement
 - guard called before addOptBindingReplacements if needed
 - since #2314 using replacement for outputs, too
  - allowed array-type and record type for outputs

refs ticket:4808

Belonging to [master]:
  - #2331

Compiler/FrontEnd/Inline.mo

@@ -1120,7 +1120,6 @@ protected
   DAE.ComponentRef cr;
   Option<DAE.Exp> binding;
   DAE.Type tp;
-  DAE.Exp exp;
   list<DAE.Statement> st;
 
 algorithm
@@ -1132,19 +1131,12 @@ algorithm
            oInputs = cr::oInputs;
          then ();
 
-    case DAE.VAR(componentRef=cr,direction=DAE.OUTPUT(), binding=binding as SOME(exp))
+    case DAE.VAR(componentRef=cr,direction=DAE.OUTPUT(), binding=binding)
       equation
-        // use type of cref, since var type is different
-        // and has no hint on array or record type
         oRepl = addOptBindingReplacements(cr,binding,oRepl);
         oOutputs = cr :: oOutputs;
        then ();
 
-    case DAE.VAR(componentRef=cr,direction=DAE.OUTPUT(), binding=NONE())
-      equation
-        oOutputs = cr :: oOutputs;
-       then ();
-
     case DAE.VAR(componentRef=cr,protection=DAE.PROTECTED(),binding=binding)
       equation
         // use type of cref, since var type is different
@@ -1200,8 +1192,6 @@ algorithm
     local
       DAE.Type tp;
     case (DAE.CREF_IDENT(identType=tp),_,_)
-      guard
-        not Expression.isArrayType(tp) and not Expression.isRecordType(tp)
       then VarTransform.addReplacement(iRepl, iCr, iExp);
     else fail();
   end match;