push the no-output-on-divergence result up to compile_top