Merge "SpAIBinder: allow comparison with pointers" into main