Ukkonen's algorithm partially implemented.