<div dir="ltr"><div><div><div><div><div><span style="font-family:monospace,monospace">I'm trying to optimize a pattern that goes roughly as:<br></span></div><span style="font-family:monospace,monospace">    A<br>   / \<br></span></div><span style="font-family:monospace,monospace">  B   C<br>   \ /<br></span></div><span style="font-family:monospace,monospace">    D<br><br></span></div><span style="font-family:monospace,monospace">Problem is, when A gets modified, B and C get added back to the worklist, but D doesn't. Readding D to the worklist just create an infinite loop where one process D again and again.<br><br></span></div><span style="font-family:monospace,monospace">Is there a proper way to make this work ?<br></span></div>