trackable_pseudo
if (trackable_pseudo(pseudo)) {
assert(trackable_pseudo(pseudo));
if (trackable_pseudo(pseudo) && !pseudo_in_list(*live_list, pseudo)) {