atomset
atomset def, kill;
atomset in_use;
atomset out_use;
atomset use = succ->out_use;
atomset def = 0, use = 0, kill = 0;