(für einen basic block)
(lebendig: wurde initialisiert und wird noch gebraucht)
(x, y) E(G) : c(x) c(y).
Ist algorithmisch lösbares, aber schweres Problem (NP-vollständig)