going back to Hunt-Szymansky algorithm, Greedy LCS is not correct