Describir: Liveness-Driven Random Program Generation