Privacy: try use queue instead of fixed-point iteration Earlier: iterate until updates of `EffectiveVisibility` occur. Now: if an update occurs, then we put in the queue those items that may be affected by this update. Iterate until there are items in the queue. r? @petrochenkov