fix broken compiler proof

change was due to the slight strengthening of compile_Cexp_thm