For curiosity: does this have anything in common with dependency tracking for lazy evaluation?