Use IGIA in Kodkod