anchor.diff:  // note that function invocations can happen in above statements too
   // this section is just the remaining more specialised invocations
   
  -    |   (procedurecallStatNoAssign) => d=procedurecallStatNoAssign
  +    |   (procedurecallCode) => d=procedurecallCode
          {
           code.setAttribute("statements",d);
           setReturnVariables(code, d);
  
positive.code: predictProcedurecallAssign
      : ID LPAREN ;
  
  procedurecallAssign returns [StringTemplate code=template("call")]
  {StringTemplate f=null;}
      :
          procedureInvocation[code]
  
negative.code:     |
      ((
         s=ll1statement
      |  (procedurecallCode) => s=procedurecallCode
      |  (procedurecallStatAssignManyReturnParam) => s=procedurecallStatAssignManyReturnParam
      |  (predictAssignStat) => s=assignStat
      )
  