Dependency graph for an update propagator