prove compile_prog_divergence