Use a new version of kodkod with Overlapping GIA