prove compile_top_labels, but cheat about free variables stuff