tree 28bb6ece3b2f71498695d929e12c502d591e7b60
parent a48bb91132cc614c98c1620e07ec54998852ad9b
author River Riddle <riverriddle@google.com> 1544720406 -0800
committer jpienaar <jpienaar@google.com> 1553894834 -0700

Check if the operation is already in the worklist before adding it.

PiperOrigin-RevId: 225379496