anchor.diff:      List<String> indexes = new ArrayList();
     }
     :
  -    '(' ids_list[indexes] ')' { $language.setIdList(indexes); }
  +    '(' ids_list[indexes] ')' { $language.setIndexes(indexes); }
     | /* empty */
   ;
   
  -range_option:
  -    RANGE '(' induction=IDENTIFIER '=' ',' lower=IDENTIFIER ',' upper=IDENTIFIER ')'
  -  | RANGE '(' induction=IDENTIFIER '=' ',' lower=IDENTIFIER ',' upper=IDENTIFIER ',' step=IDENTIFIER ')'
  +range_option returns [ClawRange r]
  +  @init{
  +    $r = new ClawRange();
  +  }
  +  :
  +    RANGE '(' induction=IDENTIFIER '=' lower=IDENTIFIER ',' upper=IDENTIFIER ')'
  +    {
  +      $r.setInductionVar($induction.text);
  +      $r.setLowerBound($lower.text);
  +      $r.setUpperBound($upper.text);
  +      $r.setStep(Constant.DEFAULT_STEP_VALUE);
  +    }
  +  | RANGE '(' induction=IDENTIFIER '=' lower=IDENTIFIER ',' upper=IDENTIFIER ',' step=IDENTIFIER ')'
  +    {
  +      $r.setInductionVar($induction.text);
  +      $r.setLowerBound($lower.text);
  +      $r.setUpperBound($upper.text);
  +      $r.setStep($step.text);
  +    }
   ;
   /*
   mapping_option:
  
positive.code: {
  import java.util.List;
  import java.util.ArrayList;
  }
  
  /*----------------------------------------------------------------------------
  
negative.code: MAP          : 'map';
  
  // Special elements
  IDENTIFIER      : [a-zA-Z_$0-9] [a-zA-Z_$0-9]* ;
  NUMBER          : (DIGIT)+ ;
  fragment DIGIT  : '0'..'9' ;
  
  