Last bit: clean up flags use in instr_branch