IPA sem equality: const handled, local variables comaprison draft added.