make groups and domains visited actual sets
do a deep comparison between multi-valued properties