prove compile_top_append_code
use compile_top_append_code to prove 3 cheats in replCorrect