super(in);
Token t = input.next(); if (t == null) return null; t.termText = t.termText.toLowerCase(); return t;