IMHO, it should be added whether the GC is precise (great), mostly precise (ok) or conservative (do you feel lucky?).
I've reread the description, I should have done it first: 'non-tracing' imply precise, no?
BR, renoX