Compute outdated reactives. Logic is identical to the paper.
Compute the set of all ready reactives. Logic is identical to the paper.
helper for better inspection