The set of variables that were read before written. Only variables still live are included in this set; the trace mechanism retains variables only weakly.