Jz sparse

@jz10 
// ??? If the result of the current operation was updated but the uses of its def have already
      // ??? been visited, why wouldn't we want to visit them again?