Use the latest version of alloy and kodkod.