fix compile_top_thm and compile_top_divergence

the statement of compile_top_thm changes slightly to match the way
prompt_to_i2_correct throws away the envC in case of an exception.