[AdgPair] Sanitized adg_pair_equal()