prove code_labels of REVERSE of bootstrap code

since the code in the compiler state is in reverse