The backtrace algorithm relies on the fact that assertion does not call backtrace. If assertion is modified, the backtrace algorithm should be updated accordingly
source not stored for this graph (policy: none)
no test coverage detected