Facing issues with multiple asserts

[Bikash Chandra]

A file containing the following lines

var v : 1 .. 10;
cfg Digit := ['0'-'9'];
cfg Letter := ['a'-'z'] | ['A'-'Z'];
cfg Ascii := Letter | Digit | "_";
cfg Asciistar := Ascii Asciistar | ;
cfg E := "Comp" Asciistar;
cfg R := Asciistar "Sc1" ;

assert v in E;
assert v in R;



gives the following error

java.lang.IllegalArgumentException: Cannot find nonterminal range0_9 in grammar:
Ascii = "_"  | Digit  | Letter  ;
Asciistar = Ascii  | Ascii Asciistar  ;
Digit = range0_9  ;
Letter = rangeA_Z  | rangea_z  ;
R = "Sc1"  | Asciistar "Sc1"  ;

    at hampi.grammars.apps.UnreachableNonterminalRemover.getReachableNonterminals(UnreachableNonterminalRemover.java:62)
    at hampi.grammars.apps.UnreachableNonterminalRemover.removeUnreachableNonterminals(UnreachableNonterminalRemover.java:76)
    at hampi.grammars.apps.EpsilonProductionRemover.removeEpsilonProductions(EpsilonProductionRemover.java:52)
    at hampi.grammars.apps.GrammarStringBounder.getBoundedRegexp(GrammarStringBounder.java:51)
    at hampi.parser.HConstraintPreparer.prepareSizeFixRegexp(HConstraintPreparer.java:236)
    at hampi.parser.HConstraintPreparer.prepareIn(HConstraintPreparer.java:152)
    at hampi.parser.HConstraintPreparer.prepare(HConstraintPreparer.java:47)
    at hampi.parser.HConstraintPreparer.prepare(HConstraintPreparer.java:34)
    at hampi.Hampi.run(Hampi.java:296)
    at hampi.Hampi.run(Hampi.java:272)
    at hampi.Hampi.main(Hampi.java:250)


If either of the asserts are removed it runs fine.
Could anybody provide some help on this.


Thanks,
Bikash