The current way that volatile functions (e.g., RANDOM()) are handled isn't quite right.
At the moment they are never commoned up. In fact what should happen is that
i) Each unique instance in the source code should create a unique instance
ii) They should never be re-evaluated.
I have a pureflags branch which is working towards solving it.
|Document the changes in semantics||Accepted|