Further bugfixes. Implicit suffix tree looks good now.