IPA sem equality: comments enhanced.
IPA sem equality: comments added.
IPA sem equality: optimizer is newly static var.