Update to Kodkod version with cleaner logging