Update kodkod to the version that handles arity 3 relations.