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