Every atom in the clause tree, in source order.
Deduped union of every atom's reads.
The condition reads the dataset (*[...] or a deref ->), so its verdict depends on snapshot hydration, not scope vars alone.
*[...]
->
Every atom in the clause tree, in source order.