a bug in sufTreeFilter, updating MAX_SPAN and TOT_TERM