Added a working Is_escaped_tok function. (There were problems with original Is_esc_tok, which didn't differentiate between escape and escapee.)