Annotation for the next_instr macros.
High level annotation of the PREDICT macros.