Add backtrace
Add instrument
Completed local elimination