batSubstring: fold_left test modification