(basically, every time a non-memoizable

Node

runs, everything above it must be considered dirty according to the definition on 6059)