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