IPA sem equality: pass overview documentation added.

Weak symbol check introduced for merge operation of read-only variables.