push back current token and set current token to 'last_tok'. Only identifier case handled for labels. */
source not stored for this graph (policy: none)
no test coverage detected