Rule integer in lines 595-602 of TermParser.jj implemented. IntegerTerm returned with dummy int value given to IntegerTerm.get method.