IPA sem equality: New hash for declarations introduced.