Representation
Information about sets of definitions can be represented by Boolean vectors, where each position in the vector corresponds to one of the definitions made in the subprogram
For example, we are interested in the set of definitions preserved (not overridden) by a node
Thus, PRESERVEDn[i] is true for node n if node n does not contain a definition of the variable assigned in definition i