-
- (* update the cache if the status of the node changed
- unsafe_set run.sat node_id status1 status0;*)
+ if status1 == StateSet.empty && status0 != StateSet.empty
+ then StateSet.empty else
+ (* update the cache if the status of the node changed
+ unsafe_set run.sat node_id status1 status0;*)