Add bounds for local symbols from S to E (via ->prev) */
source not stored for this graph (policy: none)
no test coverage detected