I quite often want to check if something holds of some, none or all groups. The way I do it is to quantify over occupied sites and check if something holds of the group of some, none or all stones. This is very inefficient, and I believe there is no alternative. Could we have a boolean ludeme for quantifying over groups, like (all Sites) quantifies over sites?
... I just now thought of a different way that might work, but it would probably still be slower than native group quantification: Maybe one can first iterate over groups to add the highest index of each group to (values Remembered), then quantify over those values and check only groups at sites with those indices.
... I just now thought of a different way that might work, but it would probably still be slower than native group quantification: Maybe one can first iterate over groups to add the highest index of each group to (values Remembered), then quantify over those values and check only groups at sites with those indices.