The interpretation of an undead-set for a predicate, and the shape of undead-set trees for nested predicates, is unclear (and not mentioned in the reading).
The undead-set has the same interpretation as for other instructions: it represents what is live after the predicate "executes". But, because we don't know, statically, which branch happens, it's the union of both branches.
The shape for predicates is the same as for tails. Sets represent the base predicates, trees for nesting
The interpretation of an undead-set for a predicate, and the shape of undead-set trees for nested predicates, is unclear (and not mentioned in the reading).
The undead-set has the same interpretation as for other instructions: it represents what is live after the predicate "executes". But, because we don't know, statically, which branch happens, it's the union of both branches.
The shape for predicates is the same as for tails. Sets represent the base predicates, trees for nesting