variables that are being read in the block
variables needed by this or a successor block and are not killed in this block
variables that are being written in the block
variables needed by successors
collects references in order they are evaluated, set in JS maintains insertion order
variables that are being read in the block