I'd like to add using tracing when the references might cause a cycle (statically analyzed?).