anchor.diff:  {
       final Verifier ver = VerifierSingleton.getInstance();
       private static String sFirstIdent = "";
  -    private static int sCompoundLength = -1;
       private static final MyCommonAST[] sIgnoreAST = new MyCommonAST[2];
       private static LineText sLastIdentifier;
       private static final int[] sIgnoreType = new int[1];
  
positive.code: //      it starts a new scope for variable definitions
  
  compoundStatement[MyCommonAST[] aCurlies]
  	:	lc:LCURLY^ {#lc.setType(SLIST); aCurlies[0] = #lc;}
  			// include the (possibly-empty) list of statements
  			(statement[sIgnoreType, sIgnoreAST])*
  		rc:RCURLY!
          {
              sCompoundLength = rc.getLine() - lc.getLine() + 1;
              aCurlies[1] = #rc;
          }
  	;
  
  
  
negative.code:                     s2:compoundStatement[stmtBraces]
                      {
                          ver.verifyLCurlyMethod(msig.getLineNo(), stmtBraces[0]);
                          ver.verifyMethodLength(
                              #s2.getLineNo(),
                              stmtBraces[1].getLineNo()
                              - stmtBraces[0].getLineNo() + 1);
                      }
                  |
                      SEMI
  