swift234

ABCOpts: Invariant values must strictly dominate the header

Fixes an embarrassing mistake. I am used to saying something is loop invariant
if it dominates the loop header. What I really mean of course, is that it
strictly dominates the loop header.
Unfortunately, I actually wrote code that checks dom(invariant?, header). :(

rdar://18498770

Swift SVN r22393