IPA sem equality: pass rewritten to use common bitmap_stack.
IPA sem equality: removal hooks unified.
IPA sem equality: strict aliasing test fixed.