If pure nodes are re-evaluated on access, what then is the semantics of “pure”?
Does “pure” then mean “ha ha just kidding, re-evaluated at some points in the control flow that are not obvious!”
So, in essence, the only thing “pure” actually does is remove some implicit control flow (white) wires, at the expense of then not being obvious about when those (implicit) wires actually get there?
If so, the word “pure” should probably be changed to “implicit” …