Stav dette: Liveness-Driven Random Program Generation