pop labels until element last is reached. Look if any labels are undefined. Define symbols if '&&label' was used. */
source not stored for this graph (policy: none)
no test coverage detected