Handle mixed loads from constants or instructions, and correct an off-by-one error counting pending CFG edges.