Add a comment mentioning that InstructionSimplify routines do,
in fact, resolve undef uses.