We need to prevent stub kinds used just to represent dead elements to be displayed in the GUI and CL. We do so by introducing a DeadKind which expands their targets to the empty list.
Massimo Fioravanti