readEndTag reads the next end tag token. The opening "</a" has already been consumed, where 'a' means anything in [A-Za-z].
()
source not stored for this graph (policy: none)
no test coverage detected