Fix FOLD rule for string.sub(s, ...) == k.