Data Flow View
After selecting a value, this view lists all traces containing it.
Values can have two types of identities TODO, which you can select:
- The value itself.
- The variable that holds them.
TODO: explain more
TODO: trace vs. DataNode
TODO: read vs. write
TODO: "origin trace"