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