let filter ts =
                  Tools.keep_prev_loc (Token.Filter.filter gram.gfilter ts)