regex6.js failing after modifying SymbolicStringPredicate's substitute.