complete SUFF
fix 2 bugs in ukkonen
1. back_distance=0 is valid, return -1 for root instead
2. return true j for rule3, not modified j