[1709.02477] Inferring Generative Model Structure with Static Analysis