Function trace_data 

pub fn trace_data(t: &Traceable) -> String

Every key a trace declares is written, null where the node has no such thing — the one null convention sva_core::NONE states, so a caller reads a field rather than probing for it.