Add instr_list to Exp.thy.