Deakstadieđáhus: Liveness-Driven Random Program Generation