it is fail in case when string is empty, because index != s.startIndex is true and when s.index(before: index) it is out of boundary

Sorry it is actually correct because s.startIndex equals to s.endIndex when string is Empty. I didn't know that! THANK YOU

It turns out that reversed works in O(1), it does not allocate memorry!!!!!! So maybe this is reason why it is fast