Fix FOLD rule for string.sub(s, ...) == k.
Merge branch 'master' into agentzh