IPA sem equality: miscompilation fixed.
IPA sem equality: semi-working version.

TODO: fix verifier, enable comdat groups and correct expand_thunk.