anchor.diff:  }
       :
           ASSIGN
  -        functionInvocation[code]
  -    ;
  -
  -
  -
  -
  -functioncallStatAssignManyReturnParam returns [StringTemplate code=template("call")]
  +        procedureInvocation[code]
  +    ;
  +
  +
  +
  +
  +procedurecallStatAssignManyReturnParam returns [StringTemplate code=template("call")]
   {StringTemplate f=null;}
       :
           LPAREN
  
positive.code:     |
      ((
         s=ll1statement
      |  (functioncallStatNoAssign) => s=functioncallStatNoAssign
      |  (functioncallStatAssignManyReturnParam) => s=functioncallStatAssignManyReturnParam
      |  (predictAssignStat) => s=assignStat
      )
         {
  
negative.code:     : t=type
        n=declarator
      (
       (predictProcedurecallDecl) => procedurecallDecl[code, t, n]
      | (variableDecl[code,null,null]) => variableDecl[code, t, n]
      | (predictDatasetdecl) => datasetdecl[code, t, n]
      )
  