Bug fix in Icmp.getPatternMatch
Don't unify argument types for named predicates.

Apparently, WillNotOverflowSignedAdd assumes its arguments have the same type,
so we need to explicitly check for it, if it isn't already guaranteed by
the source. See AddSub:1149.
Generate runOnInstruction entry/exit