Updating to new version of incremental kodkod.