Added initial next-instr property for control-flow instructions.