Very Busy Expressions (VB)
Def: Ein Ausdruck e ist an einem Programmpunkt l very busy, falls auf allen Ausführungspfaden von l zum Ende e benutzt wird bevor er sich verändert
Fixpunkt: größter ? init = top
Richtung: Rückwärtsproblem
Transferfunktion: [ y:= a ]l
VBentry (l) = (VBexit(l) \ { a´ ? Aexp* ??y ? Var(a´) } ) ??{ subexp(x) }