Recomputes recompute(id) for every node reachable from seed along the reverse of successors, so a
change at a node is carried on to whatever points at it, until nothing grows anymore. recompute updates
its node's value itself and reports whether it grew; shared by propagateOverCalls and
calculateExceptionsOfFunction, which differ only in what "grew" means for the value they carry, and
by carriersOf below, which grows a set rather than a bitfield.
Recomputes
recompute(id)for every node reachable fromseedalong the reverse ofsuccessors, so a change at a node is carried on to whatever points at it, until nothing grows anymore.recomputeupdates its node's value itself and reports whether it grew; shared by propagateOverCalls and calculateExceptionsOfFunction, which differ only in what "grew" means for the value they carry, and by carriersOf below, which grows a set rather than a bitfield.