Example
<FFFT> - EXPOSED set for B
<TFFT> - PRESERVED set for B
If defs (1) and (2) reach the start of the basic block B, then the EXPOSED and PRESERVED sets for B are given by two boolean vectors. Positions within a vector correspond to numbered definitions.