Upgrade to a version of kodkod with magnifying glass fixed.